% This file was created with JabRef 2.4.2.
% Encoding: MacRoman

@PREAMBLE{
"\def\cprime{$'$} "
}

@INPROCEEDINGS{AGLM99a,
  author = {Adams, Andrew and Gottliebsen, Hanne and Linton, Steve and Martin,
	Ursula},
  title = {Automated theorem proving in support of computer algebra: symbolic
	definite integration as a case study},
  booktitle = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic
	Computation},
  year = {1999},
  editor = {Dooley, S.},
  pages = {253--260},
  publisher = {ACM Press}
}

@INPROCEEDINGS{AGLM99b,
  author = {Adams, Andrew and Gottliebsen, Hanne and Linton, Steve and Martin,
	Ursula},
  title = {VSDITLU: a verified symbolic definite integral table look-up},
  booktitle = {Proceedings of the 16th International Conference on Computer Aided
	Deduction},
  year = {1999},
  editor = {Ganzinger, H.},
  number = {1632},
  series = {LNAI},
  pages = {112--126},
  publisher = {Springer}
}

@CONFERENCE{alzain2007sdf,
  author = {Al Zain, A. and Hammond, K. and Trinder, P. and Linton, S. and Loidl,
	H.W. and Costanti, M.},
  title = {{SymGrid-Par: Designing a Framework for Executing Computational Algebra
	Systems on Computational Grids}},
  booktitle = {ICCS},
  year = {2007},
  pages = {617--624},
  organization = {Springer}
}

@MISC{SCIEncePoster,
  author = {A {Al Zain} and P Trinder and G Michaelson and K Hammond and S.Linton},
  title = {{SCIEnce}: Using High-Level Parallel Technology for Grid Enabled
	Symbolic Computation},
  howpublished = {Poster},
  month = {September},
  year = {2008},
  note = {UK e-Science 2008 All Hands Meeting, Edinburgh,},
  owner = {sal},
  timestamp = {2009.02.18}
}

@BOOK{albert2004par,
  title = {{A Practical Algorithm for Reducing Non-deterministic Finite State
	Automata}},
  publisher = {Dept. of Computer Science, University of Otago},
  year = {2004},
  author = {Albert, M.H. and Linton, S. and Dept. of Computer Science and University
	of Otago}
}

@ARTICLE{perfect,
  author = {M H Albert and S Linton},
  title = {Growing at a Perfect Speed},
  journal = {Combinatorics, Probability and Computing},
  year = {2009},
  volume = {to appear},
  owner = {sal},
  timestamp = {2009.02.18}
}

@ARTICLE{MR2176523,
  author = {Albert, Michael H. and Linton, Steve and Ru{\v{s}}kuc, Nik},
  title = {The insertion encoding of permutations},
  journal = {Electron. J. Combin.},
  year = {2005},
  volume = {12},
  pages = {Research Paper 47, 31 pp. (electronic)},
  fjournal = {Electronic Journal of Combinatorics},
  issn = {1077-8926},
  mrclass = {05A05 (05A15 68Q45)},
  mrnumber = {MR2176523 (2006g:05004)},
  mrreviewer = {Sergi Elizalde}
}

@TECHREPORT{Albert04onthe,
  author = {M H Albert and N Ruskuc and S Linton},
  title = {On the permutational power of token passing networks},
  year = {2004},
  note = {TCS, to appear}
}

@ARTICLE{MR2358616,
  author = {Assmann, Bj{\"o}rn and Linton, Stephen},
  title = {Using the {M}al\cprime cev correspondence for collection in polycyclic
	groups},
  journal = {J. Algebra},
  year = {2007},
  volume = {316},
  pages = {828--848},
  number = {2},
  coden = {JALGA4},
  fjournal = {Journal of Algebra},
  issn = {0021-8693},
  mrclass = {20F40 (20F05)},
  mrnumber = {MR2358616 (2008g:20080)},
  mrreviewer = {Rudolf R. Maier}
}

@ARTICLE{MR1358957,
  author = {Atkinson, M. D. and Linton, S. A. and Walker, L. A.},
  title = {Priority queues and multisets},
  journal = {Electron. J. Combin.},
  year = {1995},
  volume = {2},
  pages = {Research Paper 24, approx.\ 18 pp.\ (electronic)},
  fjournal = {Electronic Journal of Combinatorics},
  issn = {1077-8926},
  mrclass = {68P05 (05A15 68R05)},
  mrnumber = {MR1358957 (96j:68039)},
  mrreviewer = {Ranjan Chaudhuri}
}

@CONFERENCE{banks2003ccm,
  author = {Banks, D.C. and Linton, S.},
  title = {{Counting Cases in Marching Cubes: Toward a Generic Algorithm for
	Producing Substitopes}},
  booktitle = {Proceedings of the 14th IEEE Visualization 2003 (VIS'03)},
  year = {2003},
  organization = {IEEE Computer Society Washington, DC, USA}
}

@ARTICLE{banks2004ccs,
  author = {Banks, D.C. and Linton, S.A. and Stockmeyer, P.K.},
  title = {{Counting Cases in Substitope Algorithms}},
  journal = {IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS},
  year = {2004},
  pages = {371--384},
  publisher = {IEEE Computer Society}
}

@ARTICLE{MR2379938,
  author = {Bovdi, V. A. and Konovalov, A. B. and Linton, S.},
  title = {Torsion units in integral group ring of the {M}athieu simple group
	{${\rm M}\sb {22}$}},
  journal = {LMS J. Comput. Math.},
  year = {2008},
  volume = {11},
  pages = {28--39},
  fjournal = {LMS Journal of Computation and Mathematics},
  issn = {1461-1570},
  mrclass = {20C05 (16S34 16U60 20D08)},
  mrnumber = {MR2379938 (2009a:20006)},
  mrreviewer = {Wolfgang O. Kimmerle}
}

@INPROCEEDINGS{BL98,
  author = {Breuer, Thomas and Linton Stephen A.},
  title = {The {GAP4} Type System: Organizing Algebraic Algorithms },
  booktitle = {ISSAC'98: Proceedings of the 1998 International Symposium on Symbolic
	and Algebraic Computation},
  year = {1998},
  publisher = {ACM Press}
}

@INCOLLECTION{MR1647409,
  author = {Campbell, Colin and Havas, George and Linton, Stephen and Robertson,
	Edmund},
  title = {Symmetric presentations and orthogonal groups},
  booktitle = {The atlas of finite groups: ten years on ({B}irmingham, 1995)},
  publisher = {Cambridge Univ. Press},
  year = {1998},
  volume = {249},
  series = {London Math. Soc. Lecture Note Ser.},
  pages = {1--10},
  address = {Cambridge},
  mrclass = {20G40 (20F05)},
  mrnumber = {MR1647409 (99m:20112)},
  mrreviewer = {Sa{\"{\i}}d N. Sidki}
}

@INCOLLECTION{MR1444132,
  author = {Cooperman, Gene and Finkelstein, Larry and Linton, Steve},
  title = {Constructive recognition of a black box group isomorphic to {${\rm
	GL}(n,2)$}},
  booktitle = {Groups and computation, {II} ({N}ew {B}runswick, {NJ}, 1995)},
  publisher = {Amer. Math. Soc.},
  year = {1997},
  volume = {28},
  series = {DIMACS Ser. Discrete Math. Theoret. Comput. Sci.},
  pages = {85--100},
  address = {Providence, RI},
  mrclass = {20G40 (20-04)},
  mrnumber = {MR1444132 (98d:20054)},
  mrreviewer = {D. F. Holt}
}

@MISC{delgado2005gpa,
  author = {Delgado, M. and Linton, S. and Morais, J.},
  title = {{GAP package Automata}},
  year = {2005}
}

@INPROCEEDINGS{DKLM99a,
  author = {Dunstan, Martin and Kelsey, Tom and Linton, Steve and Martin, Ursula},
  title = {Formal Methods for Extensions to CAS},
  booktitle = {Proceedings of FM'99: World Congress on Formal Methods in the design
	of computing systems},
  year = {1999},
  number = {1709},
  series = {LNCS},
  pages = {1758--1777},
  publisher = {Springer}
}

@INPROCEEDINGS{DKLM98,
  author = {Dunstan, Martin and Kelsey, Tom and Linton, Steve and Martin, Ursula},
  title = {Lightweight formal methods for computer algebra systems},
  booktitle = {ISSAC'98: Proceedings of the 1998 International Symposium on Symbolic
	and Algebraic Computation},
  year = {1998},
  publisher = {ACM Press}
}

@ARTICLE{freundt2008scs,
  author = {Freundt, S. and Horn, P. and Konovalov, A. and Linton, S. and Roozemond,
	D.},
  title = {{Symbolic Computation Software Composability}},
  journal = {Lecture Notes in Computer Science},
  year = {2008},
  volume = {5144},
  pages = {285--295},
  publisher = {Springer}
}

@ARTICLE{gent2003gsu,
  author = {Gent, I.P. and Harvey, W. and Kelsey, T. and Linton, S.},
  title = {{Generic SBDD Using Computational Group Theory}},
  journal = {LECTURE NOTES IN COMPUTER SCIENCE},
  year = {2003},
  pages = {333--347},
  publisher = {Springer}
}

@ARTICLE{gent2005csb,
  author = {Gent, I.P. and Kelsey, T. and Linton, S.A. and McDonald, I. and Miguel,
	I. and Smith, B.M.},
  title = {{Conditional Symmetry Breaking}},
  journal = {LECTURE NOTES IN COMPUTER SCIENCE},
  year = {2005},
  volume = {3709},
  pages = {256},
  publisher = {Springer}
}

@ARTICLE{gent2007gac,
  author = {Gent, I.P. and Kelsey, T. and Linton, SA and Pearson, J. and Roney-Dougal,
	C.M.},
  title = {{Groupoids and Conditional Symmetry}},
  journal = {LECTURE NOTES IN COMPUTER SCIENCE},
  year = {2007},
  volume = {4741},
  pages = {823},
  publisher = {Springer}
}

@ARTICLE{gent2005sac,
  author = {Gent, I.P. and Kelsey, T. and Linton, S. and Roney-Dougal, C.},
  title = {{Symmetry and Consistency}},
  journal = {LECTURE NOTES IN COMPUTER SCIENCE},
  year = {2005},
  volume = {3709},
  pages = {271},
  publisher = {Springer}
}

@TECHREPORT{Gent00symmetrybreaking,
  author = {I P Gent and S A Linton and B M Smith},
  title = {Symmetry Breaking in the Alien Tiles Puzzle},
  year = {2000}
}

@ARTICLE{MR2002679,
  author = {Holmes, Petra E. and Linton, Stephen A. and Murray, Scott H.},
  title = {Product replacement in the {M}onster},
  journal = {Experiment. Math.},
  year = {2003},
  volume = {12},
  pages = {123--126},
  number = {1},
  fjournal = {Experimental Mathematics},
  issn = {1058-6458},
  mrclass = {20D08 (20-04)},
  mrnumber = {MR2002679 (2004g:20022)}
}

@ARTICLE{Ryba,
  author = {P E Holmes and S A Linton and E A {O'Brien} and  A J E Ryba and R
	A Wilson},
  title = {Constructive membership in black-box groups},
  journal = {Journal of Group Theory},
  year = {2008},
  volume = {11},
  pages = {747-763},
  number = {6},
  month = {November},
  owner = {sal},
  timestamp = {2009.02.18}
}

@INPROCEEDINGS{MR2035207,
  author = {Hulpke, Alexander and Linton, Steve},
  title = {Total ordering on subgroups and cosets},
  booktitle = {Proceedings of the 2003 {I}nternational {S}ymposium on {S}ymbolic
	and {A}lgebraic {C}omputation},
  year = {2003},
  pages = {156--160 (electronic)},
  address = {New York},
  publisher = {ACM},
  mrclass = {20B40},
  mrnumber = {MR2035207}
}

@INCOLLECTION{MR1676636,
  author = {Hulpke, Alexander and Linton, Steve},
  title = {Construction of {${\rm Co}\sb 3$}. {A}n example of the use of an
	integrated system for computational group theory},
  booktitle = {Groups {S}t. {A}ndrews 1997 in {B}ath, {II}},
  publisher = {Cambridge Univ. Press},
  year = {1999},
  volume = {261},
  series = {London Math. Soc. Lecture Note Ser.},
  pages = {394--409},
  address = {Cambridge},
  mrclass = {20D08 (20-04 68W30)},
  mrnumber = {MR1676636 (2000h:20028)},
  mrreviewer = {J. D. Dixon}
}

@ARTICLE{MR1335306,
  author = {Ivanov, A. A. and Linton, S. A. and Lux, K. and Saxl, J. and Soicher,
	L. H.},
  title = {Distance-transitive representations of the sporadic groups},
  journal = {Comm. Algebra},
  year = {1995},
  volume = {23},
  pages = {3379--3427},
  number = {9},
  coden = {COALDM},
  fjournal = {Communications in Algebra},
  issn = {0092-7872},
  mrclass = {20C34 (05C25 20B25)},
  mrnumber = {MR1335306 (96g:20019)},
  mrreviewer = {A. S. Kondrat{\cprime}ev}
}

@ARTICLE{kelsey2004nds,
  author = {Kelsey, T. and Linton, S. and Roney-Dougal, C.},
  title = {{New Developments in Symmetry Breaking in Search Using Computational
	Group Theory}},
  journal = {LECTURE NOTES IN COMPUTER SCIENCE},
  year = {2004},
  pages = {199--210},
  publisher = {Springer}
}

@CONFERENCE{linton2008sas,
  author = {Linton, S.},
  title = {{Symmetry and Search---A Survey}},
  booktitle = {Proceedings of the 9th AISC international conference, the 15th Calculemas
	symposium, and the 7th international MKM conference on Intelligent
	Computer Mathematics},
  year = {2008},
  pages = {1--1},
  organization = {Springer}
}

@INCOLLECTION{MR2126948,
  author = {Linton, Steve},
  title = {Finding the smallest image of a set},
  booktitle = {I{SSAC} 2004},
  publisher = {ACM},
  year = {2004},
  pages = {229--234},
  address = {New York},
  mrclass = {20B40 (05A05 68W30)},
  mrnumber = {MR2126948 (2005m:20011)},
  mrreviewer = {Peter A. Brooksbank}
}

@INCOLLECTION{MR1344920,
  author = {Linton, S. A.},
  title = {Generalisations of the {T}odd-{C}oxeter algorithm},
  booktitle = {Computational algebra and number theory ({S}ydney, 1992)},
  publisher = {Kluwer Acad. Publ.},
  year = {1995},
  volume = {325},
  series = {Math. Appl.},
  pages = {29--51},
  address = {Dordrecht},
  mrclass = {08A50 (20M05)},
  mrnumber = {MR1344920 (96m:08003)},
  mrreviewer = {E. F. Robertson}
}

@INCOLLECTION{MR1344924,
  author = {Linton, S. A.},
  title = {The art and science of computing in large groups},
  booktitle = {Computational algebra and number theory ({S}ydney, 1992)},
  publisher = {Kluwer Acad. Publ.},
  year = {1995},
  volume = {325},
  series = {Math. Appl.},
  pages = {91--109},
  address = {Dordrecht},
  mrclass = {20-04 (20B40 20C40 68Q40)},
  mrnumber = {MR1344924 (96h:20002)},
  mrreviewer = {D. F. Holt}
}

@ARTICLE{MR1236745,
  author = {Linton, S. A.},
  title = {On vector enumeration},
  journal = {Linear Algebra Appl.},
  year = {1993},
  volume = {192},
  pages = {235--248},
  note = {Computational linear algebra in algebraic and related problems (Essen,
	1992)},
  coden = {LAAPAW},
  fjournal = {Linear Algebra and its Applications},
  issn = {0024-3795},
  mrclass = {20C40 (16-04 20-04 68Q20)},
  mrnumber = {MR1236745 (94k:20022)},
  mrreviewer = {Herbert Pahlings}
}

@ARTICLE{MR1111583,
  author = {Linton, Stephen A.},
  title = {Corrections to: ``{T}he maximal subgroups of the {T}hompson group''
	[{J}.\ {L}ondon {M}ath.\ {S}oc.\ (2) {\bf 39} (1989), no.\ 1, 79--88;
	{MR}0989921 (90c:20024)]},
  journal = {J. London Math. Soc. (2)},
  year = {1991},
  volume = {43},
  pages = {253--254},
  number = {2},
  coden = {JLMSAK},
  fjournal = {Journal of the London Mathematical Society. Second Series},
  issn = {0024-6107},
  mrclass = {20D08 (20E28)},
  mrnumber = {MR1111583 (92c:20031)}
}

@ARTICLE{MR1146507,
  author = {Linton, Stephen A.},
  title = {Double coset enumeration},
  journal = {J. Symbolic Comput.},
  year = {1991},
  volume = {12},
  pages = {415--426},
  number = {4-5},
  note = {Computational group theory, Part 2},
  fjournal = {Journal of Symbolic Computation},
  issn = {0747-7171},
  mrclass = {20F10},
  mrnumber = {MR1146507 (92k:20064)},
  mrreviewer = {M. Greendlinger}
}

@ARTICLE{MR1146508,
  author = {Linton, S. A.},
  title = {Constructing matrix representations of finitely presented groups},
  journal = {J. Symbolic Comput.},
  year = {1991},
  volume = {12},
  pages = {427--438},
  number = {4-5},
  note = {Computational group theory, Part 2},
  fjournal = {Journal of Symbolic Computation},
  issn = {0747-7171},
  mrclass = {20C40},
  mrnumber = {MR1146508 (93c:20032)},
  mrreviewer = {Gerhard Hiss}
}

@PHDTHESIS{thesis,
  author = {Linton, Stephen A.},
  title = {The maximal subgroups of the sporadic groups {$Th$}, {${Fi}_{24}'$}
	and {${Fi}_{24}$} and other topics},
  school = {University of Cambridge},
  year = {1990}
}

@ARTICLE{MR989921,
  author = {Linton, Stephen A.},
  title = {The maximal subgroups of the {T}hompson group},
  journal = {J. London Math. Soc. (2)},
  year = {1989},
  volume = {39},
  pages = {79--88},
  number = {1},
  coden = {JLMSAK},
  fjournal = {Journal of the London Mathematical Society. Second Series},
  issn = {0024-6107},
  mrclass = {20D08 (20E28)},
  mrnumber = {MR989921 (90c:20024)},
  mrreviewer = {S. V. Tsaranov}
}

@ARTICLE{MR1387480,
  author = {Linton, Stephen A. and Lux, Klaus and Soicher, Leonard H.},
  title = {The primitive distance-transitive representations of the {F}ischer
	groups},
  journal = {Experiment. Math.},
  year = {1995},
  volume = {4},
  pages = {235--253},
  number = {3},
  fjournal = {Experimental Mathematics},
  issn = {1058-6458},
  mrclass = {20C34 (20D08)},
  mrnumber = {MR1387480 (97c:20021)},
  mrreviewer = {Roderick Gow}
}

@INPROCEEDINGS{CADE13,
  author = {Linton, Stephen A. and Martin, Ursula and Prohle, Peter and Shand,
	Duncan},
  title = {Algebra and Automated Deduction },
  booktitle = {Proceedings of CADE-13},
  year = {1996},
  number = {1104},
  series = {LNAI},
  pages = {448--462},
  publisher = {Springer}
}

@ARTICLE{MR1241805,
  author = {Linton, Stephen A. and Michler, Gerhard O. and Olsson, J{\o}rn B.},
  title = {Fourier transforms with respect to monomial representations},
  journal = {Math. Ann.},
  year = {1993},
  volume = {297},
  pages = {253--268},
  number = {2},
  coden = {MAANA},
  fjournal = {Mathematische Annalen},
  issn = {0025-5831},
  mrclass = {20C15},
  mrnumber = {MR1241805 (94i:20015)},
  mrreviewer = {David Gluck}
}

@ARTICLE{MR1879378,
  author = {Linton, S. A. and Pfeiffer, G. and Robertson, E. F. and Ru{\v{s}}kuc,
	N.},
  title = {Computing transformation semigroups},
  journal = {J. Symbolic Comput.},
  year = {2002},
  volume = {33},
  pages = {145--162},
  number = {2},
  fjournal = {Journal of Symbolic Computation},
  issn = {0747-7171},
  mrclass = {20M20 (68W30)},
  mrnumber = {MR1879378 (2002k:20112)},
  mrreviewer = {Inessa Levi}
}

@ARTICLE{MR1637855,
  author = {Linton, S. A. and Pfeiffer, G. and Robertson, E. F. and Ru{\v{s}}kuc,
	N.},
  title = {Groups and actions in transformation semigroups},
  journal = {Math. Z.},
  year = {1998},
  volume = {228},
  pages = {435--450},
  number = {3},
  coden = {MAZEAX},
  fjournal = {Mathematische Zeitschrift},
  issn = {0025-5874},
  mrclass = {20M20 (20B40)},
  mrnumber = {MR1637855 (99e:20078)},
  mrreviewer = {K. S. S. Nambooripad}
}

@ARTICLE{MR1105720,
  author = {Linton, Stephen A. and Wilson, Robert A.},
  title = {The maximal subgroups of the {F}ischer groups {${\rm Fi}\sb {24}$}
	and {${\rm Fi}'\sb {24}$}},
  journal = {Proc. London Math. Soc. (3)},
  year = {1991},
  volume = {63},
  pages = {113--164},
  number = {1},
  coden = {PLMTAL},
  fjournal = {Proceedings of the London Mathematical Society. Third Series},
  issn = {0024-6115},
  mrclass = {20D08 (20E28)},
  mrnumber = {MR1105720 (92h:20031)},
  mrreviewer = {Gerard M. Enright}
}

@ARTICLE{MR1660407,
  author = {Linton, Stephen and Parker, Richard and Walsh, Peter and Wilson,
	Robert},
  title = {Computer construction of the {M}onster},
  journal = {J. Group Theory},
  year = {1998},
  volume = {1},
  pages = {307--337},
  number = {4},
  coden = {JGTHFQ},
  fjournal = {Journal of Group Theory},
  issn = {1433-5883},
  mrclass = {20C34 (20C40 20D08)},
  mrnumber = {MR1660407 (99k:20030)},
  mrreviewer = {Jamshid Moori}
}

@ARTICLE{linton2001csi,
  author = {Linton, S. and Sebastiani, R.},
  title = {{CALCULEMUS-2001--9th Symposium on the Integration of Symbolic Computation
	and Mechanized Reasoning}},
  journal = {Siena, Italy, June},
  year = {2001},
  pages = {21--22}
}

@ARTICLE{MR1412469,
  author = {Linton, S. and Shand, D.},
  title = {Some group-theoretic examples with completion theorem provers},
  journal = {J. Automat. Reason.},
  year = {1996},
  volume = {17},
  pages = {145--169},
  number = {2},
  coden = {JAREEW},
  fjournal = {Journal of Automated Reasoning},
  issn = {0168-7433},
  mrclass = {68T15 (03B35 20F10 68Q42)},
  mrnumber = {MR1412469 (97e:68117)}
}

@ARTICLE{MR1398931,
  author = {Linton, Steve and Smith, Geoff C.},
  title = {Contemporary computer algebra systems},
  journal = {An. Univ. Timi\c soara Ser. Mat.-Inform.},
  year = {1993},
  volume = {31},
  pages = {203--216},
  number = {2},
  fjournal = {Universit\u a\c tii de vest din Timi\c soara. Analele. Seria Matematic\u
	a-Informatic\u a},
  issn = {1224-970X},
  mrclass = {20-04 (08-04)},
  mrnumber = {MR1398931}
}

@CONFERENCE{roneydougal2004tsb,
  author = {Roney-Dougal, C.M. and Gent, I.P. and Kelsey, T. and Linton, S.},
  title = {{Tractable Symmetry Breaking Using Restricted Search Trees}},
  booktitle = {ECAI},
  year = {2004},
  volume = {16},
  pages = {211}
}

@ELECTRONIC{wilson2001afg,
  author = {Wilson, R.A. and Walsh, P. and Tripp, J. and Suleiman, I. and Rogers,
	S. and Parker, RA and Norton, S. and Linton, S. and Bray, J.},
  year = {2001},
  title = {{Atlas of finite group representations}},
  journal = {Online database. Available from World Wide Web (http://www. mat.
	bham. ac. uk/atlas/)}
}

@CONFERENCE{zain2008pwp,
  author = {Zain, AD and Trinder, PW and Hammond, K. and Konovalov, A. and Linton,
	S. and Berthold, J.},
  title = {{Parallelism without Pain: Orchestrating Computational Algebra Components
	into a High-Performance Parallel System}},
  booktitle = {Parallel and Distributed Processing with Applications, 2008. ISPA'08.
	International Symposium on},
  year = {2008},
  pages = {99--112}
}

@MANUAL{GAP4,
  title = {{GAP -- Groups, Algorithms, and Programming, Version 4.4.12}},
  organization = {The GAP~Group},
  address = {Aachen, St~Andrews},
  year = {2008},
  note = {\verb+(http://www-gap.dcs.st-and.ac.uk/~gap)+},
  key = {GAP},
  keywords = {groups; *; gap; manual}
}