{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T10:27:02Z","timestamp":1777544822433,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540510840","type":"print"},{"value":"9783540461531","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51084-2_43","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:43:55Z","timestamp":1330202635000},"page":"456-466","source":"Crossref","is-referenced-by-count":4,"title":["Cayley, version 4: The user language"],"prefix":"10.1007","author":[{"given":"Greg","family":"Butler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Cannon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"43_CR1","unstructured":"John J. Cannon, A Language for Group Theory, Department of Pure Mathematics, University of Sydney, 1982, 300 pages."},{"key":"43_CR2","first-page":"145","volume-title":"Computational Group Theory","author":"John J. J. Cannon","year":"1984","unstructured":"John J. Cannon, An introduction to the group theory language, Cayley, Computational Group Theory (Proceedings of the London Mathematical Society Symposium on Computational Group Theory, Durham, England, July 30\u2013August 9, 1982), M. D. Atkinson, editor, Academic Press, London, 1984, 145\u2013183."},{"key":"43_CR3","volume-title":"Atlas of Finite Groups","author":"J. H. Conway","year":"1985","unstructured":"J.H. Conway, R.T. Curtis, S.P. Norton, R.A. Parker, R.A. Wilson, Atlas of Finite Groups, Clarendon Press, Oxford, 1985."},{"key":"43_CR4","volume-title":"The Groups of Order 2n, (n\u22646)","author":"M. Hall Jr","year":"1964","unstructured":"M. Hall, Jr and J.K. Senior, The Groups of Order 2n, (n\u22646), Macmillan, New York, 1964."},{"key":"43_CR5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0898-1221(75)90011-5","volume":"1","author":"K. Kennedy","year":"1975","unstructured":"K. Kennedy and J. Schwartz, An introduction to the set theoretical language SETL, Comp. and Maths with Appls, 1 (1975) 97\u2013119.","journal-title":"Comp. and Maths with Appls"},{"key":"43_CR6","unstructured":"M.F. Newman and E.A. O'Brien, A Cayley library for the groups of order dividing 128, submitted to Proceedings of the Singapore Group Theory Conference,June 1987."},{"key":"43_CR7","first-page":"169","volume-title":"Computational Problems in Abstract Algebra","author":"C. C. Sims","year":"1970","unstructured":"C.C. Sims, Computational methods in the study of permutation groups, Computational Problems in Abstract Algebra, (Proceedings of a conference, Oxford, 1967), John Leech (editor), Pergamon, Oxford, 1970, 169\u2013183. (and unpublished manuscript)"},{"key":"43_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96717-7","volume-title":"Programming in Modula-2","author":"N. Wirth","year":"1982","unstructured":"N. Wirth, Programming in Modula-2, Springer-Verlag, Berlin, 1982."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51084-2_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:01:08Z","timestamp":1619571668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51084-2_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540510840","9783540461531"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-51084-2_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989]]}}}