GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

1
\newcommand{\etalchar}[1]{$^{#1}$}
2
\begin{thebibliography}{MMP{\etalchar{+}}95}
3

4
\bibitem[AHU74]{AHU:74}
5
A.~V. Aho, J.~E. Hopcroft, and J.~D. Ullman.
6
\newblock {\em The Design and Analisys of Computer Algorithms}.
7
\newblock Addison-Wesley, Reading, Mass., 1974.
8

9
\bibitem[DEG{\etalchar{+}}02]{KoutsofiosNorth:2002}
10
D.~Dobkin, J.~Ellson, E.~Gansner, E.~Koutsofios, S.~North, and G.~Woodhull.
11
\newblock Graphviz - graph drawing programs.
12
\newblock Technical report, AT\&T Research and Lucent Bell Labs, 2002.
13
\newblock (http://www.research.att.com/sw/tools/graphviz).
14

15
\bibitem[HU69]{HU:69}
16
J.~E. Hopcroft and J.~D. Ullman.
17
\newblock {\em Formal Languages and their Relation to Automata}.
18
\newblock Addison-Wesley, Reading, Mass., 1969.
19

20
\bibitem[KM02]{KM:2002}
21
I.~Kapovich and A.~Myasnikov.
22
\newblock Stallings foldings and subgroups of free groups.
23
\newblock {\em J. of Algebra}, 248:608--668, 2002.
24

25
\bibitem[MMP{\etalchar{+}}95]{AMORE:95}
26
O.~Matz, A.~Miller, A.~Potthoff, W.~Thomas, and E.~Valkema.
27
\newblock Report on the program amore.
28
\newblock Technical Report 9507, Christian Albrechts Universit{\"a}t, Kiel,
29
  1995.
30

31
\bibitem[MSW01]{MSW:2001}
32
S.~Margolis, M.~Sapir, and P.~Weil.
33
\newblock Closed subgroups in pro-{V} topologies and the extension problem for
34
  inverse automata.
35
\newblock {\em Int. J. of Algebra and Computation}, 11:405--445, 2001.
36

37
\end{thebibliography}
38

39