{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:51Z","timestamp":1725662931727},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133469"},{"type":"electronic","value":"9783540388913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13346-1_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:04:46Z","timestamp":1330175086000},"page":"87-107","source":"Crossref","is-referenced-by-count":16,"title":["A basic Abstract Semantic Algebra"],"prefix":"10.1007","author":[{"given":"Peter","family":"Mosses","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","unstructured":"J. A. Goguen, \u201cParameterised programming\u201d, in Proc. Workshop on Reusability in Programming (ed. A. Perlis) (1983)."},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. V. Guttag","year":"1978","unstructured":"J. V. Guttag, J. J. Horning, \u201cThe algebraic specification of abstract data types\u201d, Acta Inf. 10 (1978), 27\u201352.","journal-title":"Acta Inf."},{"key":"4_CR3","unstructured":"M. G. Main, D. B. Benson, \u201cFunctional behavior of non-deterministic programs\u201d, in Proc. FCT'83, Borgholm, springer LNCS 158 (1983)."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"J. Meseguer, \u201cAn order-complete universal algebra and functorial semantics\u201d, in Proc. FCT'77, Pozna\u0144, Springer LNCS 56 (1977).","DOI":"10.1007\/3-540-08442-8_96"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"R. Milner, \u201cFully abstract models of typed lambda-calculus\u201d, TCS 4 (1977), 1\u201322.","journal-title":"TCS"},{"key":"4_CR6","unstructured":"P. D. Mosses, \u201cMaking denotational semantics less concrete\u201d, in Proc. Int. Workshop on Semantics of Programming Languages, Bad Honnef, Ber.Nr.41, Abteilung Informatik, Univ. Dortmund (1977)."},{"key":"4_CR7","unstructured":"\u2014, \u201cA constructive approach to compiler correctness\u201d, in Proc. ICALP'80, Noordwijkerhout, Springer LNCS 85 (1980)."},{"key":"4_CR8","unstructured":"\u2014, \u201cA semantic algebra for binding constructs\u201d, in Proc. Int. Coll. on Formalization of Programming Concepts, Peniscola, Springer LNCS 107 (1981)."},{"key":"4_CR9","unstructured":"\u2014, \u201cAbstract semantic algebras!\u201d, in Proc. IFIP TC2 Working Conf. on Formal Description of Programming Concepts \u2014 II, Garmisch-Partenkirchen, 1982 (North-Holland, 1983)."},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1145\/322017.322028","volume":"24","author":"J. C. Reynolds","year":"1977","unstructured":"J. C. Reynolds, \"Semantics of the domain of flow diagrams\u201d. J.ACM 24 (1977), 484\u2013503.","journal-title":"J.ACM"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1137\/0205036","volume":"5","author":"C. P. Wadsworth","year":"1976","unstructured":"C. P. Wadsworth, \u201cThe relation between the computational and denotational properties for Scott's D\u221e-models of the lambda-calculus\u201d, SIAM. J. Comput. 5 (1976), 488\u2013521.","journal-title":"SIAM. J. Comput."},{"key":"4_CR12","first-page":"27","volume":"19","author":"M. Wand","year":"1979","unstructured":"M. Wand, \u201cFinal algebra semantics and data type extensions\", JCSS 19 (1979), 27\u201344.","journal-title":"JCSS"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy, \u201cOn hierarchies of abstract data types\u201d, Acta Inf. 20 (1983), 1\u201334.","journal-title":"Acta Inf."},{"key":"4_CR14","unstructured":"S. N. Zilles, P. Lucas, J. W. Thatcher, \u201cA look at algebraic specifications\u201d, IBM Res. Rep. RJ-3568 (June, 1982)."}],"container-title":["Lecture Notes in Computer Science","Semantics of Data Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13346-1_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:07:25Z","timestamp":1605625645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}