{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:35Z","timestamp":1725663695324},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_86","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:50:40Z","timestamp":1330192240000},"page":"39-50","source":"Crossref","is-referenced-by-count":0,"title":["The MAS specification component"],"prefix":"10.1007","author":[{"given":"Heinz","family":"Kredel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"4_CR1","unstructured":"A. W. Appel, R. Milner, R. W. Harper, D. B. MacQueen, Standard ML Reference Manual (preliminary draft), University of Edinburgh, LFCS Report, 1988."},{"key":"4_CR2","unstructured":"G.E. Collins, R. Loos, ALDES\/SAC-2 now available, SIGSAM Bulletin 1982, and several reports distributed with the ALDES\/SAC-2 system."},{"key":"4_CR3","first-page":"40","volume":"429","author":"J. H. Davenport","year":"1990","unstructured":"J. H. Davenport, B. M. Trager, Scratchpad's View of Algebra I: Basic Commutative Algebra, Proc. DISCO 90 Capri, LNCS 429, pp 40\u201354, Springer, 1990.","journal-title":"LNCS"},{"key":"4_CR4","volume-title":"Scratchpad II Programming Language Manual","author":"R. D. Jenks","year":"1985","unstructured":"R. D. Jenks et al., Scratchpad II Programming Language Manual, Computer Algebra Group, IBM, Yorktown Heights, NY, 1985."},{"key":"4_CR5","first-page":"447","volume":"358","author":"H. Kredel","year":"1989","unstructured":"H. Kredel, From SAC-2 to Modula-2, Proc. ISSAC'88 Rome, LNCS 358, pp 447\u2013455, Springer, 1989.","journal-title":"LNCS"},{"key":"4_CR6","first-page":"270","volume":"429","author":"H. Kredel","year":"1990","unstructured":"H. Kredel, MAS Modula-2 Algebra System, Proc. DISCO 90 Capri, LNCS 429, pp 270\u2013271, Springer, 1990.","journal-title":"LNCS"},{"key":"4_CR7","unstructured":"H. Kredel, Semantics of the MAS Language, University of Passau 1991."},{"issue":"1","key":"4_CR8","first-page":"15","volume":"14","author":"R. G. K. Loos","year":"1976","unstructured":"R. G. K. Loos. The Algorithm Description Language ALDES (Report), SIGSAM Bulletin 14\/1, pp 15\u201339, 1976.","journal-title":"SIGSAM Bulletin"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"42","author":"M. Wirsing","year":"1986","unstructured":"M. Wirsing, Structured Algebraic Specifications: A Kernel Language, Theoretical Computer Science 42, pp 123\u2013249, Elsevier Science Publishers B.V. (North-Holland) (1986).","journal-title":"Theoretical Computer Science"},{"key":"4_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96878-5","volume-title":"Programming in Modula-2","author":"N. Wirth","year":"1985","unstructured":"N. Wirth, Programming in Modula-2, Springer, Berlin, Heidelberg, New York, 1985."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_86.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:22:02Z","timestamp":1619558522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}