{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:07Z","timestamp":1725663787506},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539124"},{"type":"electronic","value":"9783540463511"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53912-3_29","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:16:37Z","timestamp":1330208197000},"page":"363-394","source":"Crossref","is-referenced-by-count":0,"title":["Design of a specification language by abstract syntax engineering"],"prefix":"10.1007","author":[{"given":"J. C. M.","family":"Baeten","sequence":"first","affiliation":[]},{"given":"J. A.","family":"Bergstra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"14_CR1","volume-title":"Design of a specification language by abstract syntax engineering, report CS-R8934","author":"J.C.M. Baeten","year":"1989","unstructured":"J.C.M. Baeten & J.A. Bergstra, Design of a specification language by abstract syntax engineering, report CS-R8934, Centre for Math. & Comp. Sci., Amsterdam 1989."},{"key":"14_CR2","volume-title":"Module algebra, report CS-R8844","author":"J.A. Bergstra","year":"1988","unstructured":"J.A. Bergstra, J. Heering & P. Klint, Module algebra, report CS-R8844, Centre for Math. & Comp. Sci., Amsterdam 1988 (revised version of report CS-R8617). To appear in JACM."},{"key":"14_CR3","unstructured":"J.A. Bergstra, J. Heering & P. Klint, Algebraic specification, ACM Press Frontier Series, Addison Wesley 1989."},{"issue":"6","key":"14_CR4","first-page":"480","volume":"31","author":"J.A. Bergstra","year":"1989","unstructured":"J.A. Bergstra & G.R. Renardel de Lavalette, De plaats van formele specificaties in de software-technologie, Informatie 31 (6), 1989, pp. 480\u2013494.","journal-title":"Informatie"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"R.S. Bird, An introduction to the theory of lists, in: Logic of Programming and Calculi of discrete design (ed. M. Broy), Springer 1987, pp. 5\u201342.","DOI":"10.1007\/978-3-642-87374-4_1"},{"key":"14_CR6","unstructured":"L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans & G.R. Renardel de Lavalette, Formal definition of the design language COLD-K, METEOR\/t7\/PRLE\/7, 1987."},{"key":"14_CR7","unstructured":"S.M.M. Joosten, The use of functional programming in software development, Ph.D. thesis, Universiteit Twente, 1989."},{"key":"14_CR8","unstructured":"S. Mauw & G.J. Veltink, A process specification formalism, report P8814, Programming Research Group, University of Amsterdam 1988. To appear in Fund. Inf."},{"key":"14_CR9","unstructured":"L.G.L.T. Meertens, Algorithmics \u2014 towards programming as a mathematical activity, in: Math. & Comp. Sci. (eds. J.W. de Bakker e.a.), CWI Monograph 1, North Holland 1986, pp. 289\u2013334."},{"key":"14_CR10","unstructured":"SPECS Consortium, Definition of MR and CRL version 2.0, Deliverable D.WP5.4, RACE project SPECS, 1989."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methods II: Theory, Tools and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53912-3_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:16:43Z","timestamp":1619572603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53912-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539124","9783540463511"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-53912-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}