{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:43:29Z","timestamp":1778298209477,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540190219","type":"print"},{"value":"9783540389309","type":"electronic"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/bfb0026101","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:47:21Z","timestamp":1132645641000},"page":"132-148","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Algebraic specification with built-in domain constructions"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"M\u00f6ller","sequence":"first","affiliation":[]},{"given":"Andrzej","family":"Tarlecki","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61807-9","volume-title":"Algorithmic Language and Program Development","author":"F.L. Bauer","year":"1982","unstructured":"F.L. Bauer, H. W\u00f6ssner: Algorithmic Language and Program Development. Berlin: Springer, 1982."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(84)90086-0","volume":"33","author":"M. Broy","year":"1984","unstructured":"M. Broy, C. Pair, M. Wirsing: A systematic study of models of abstract data Types. Theoretical Computer Science 33, 1984, 139\u2013174.","journal-title":"Theoretical Computer Science"},{"key":"10_CR3","unstructured":"M. Broy: Partial interpretations of higher order algebraic types. Lecture Notes of the International Summer School on Logic of Programming and Calculi of Discrete Design, Marktoberdorf, 1986."},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"The semantics of CLEAR, a specification language","author":"R.M. Burstall","year":"1980","unstructured":"R.M. Burstall, J.A. Goguen: The semantics of CLEAR, a specification language. Proc. Advanced Course on Abstract Software Specifications, Copenhagen. Lecture Notes in Computer Science 86, Berlin: Springer, 1980, 292\u2013332."},{"key":"10_CR5","volume-title":"Fundamentals of Algebraic Specification 1. EATCS Monographs on Theoretical Computer Science 6","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1. EATCS Monographs on Theoretical Computer Science 6, Berlin: Springer, 1985."},{"key":"10_CR6","unstructured":"H.J. Keisler: Model Theory for Infinitary Logic. Studies in Logic and Foundations of Mathematics, Vol. 62, 1971."},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0304-3975(84)90125-7","volume":"31","author":"B. Mahr","year":"1984","unstructured":"B. Mahr, J.A. Makowsky: Characterising specification languages which admit initial semantics, Theoretical Computer Science 31, 1984, 49\u201359.","journal-title":"Theoretical Computer Science"},{"key":"10_CR8","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: Fully abstract semantics of typed \u03bb-calculi. Theoretical Computer Science 4, 1977, 1\u201322.","journal-title":"Theoretical Computer Science"},{"key":"10_CR9","first-page":"367","volume-title":"Algebraic specifications with higher-order operators","author":"B. M\u00f6ller","year":"1987","unstructured":"B. M\u00f6ller: Algebraic specifications with higher-order operators. In: L. Meertens (ed.): Proc. IFIP TC2 Working Conference on Program Specification and Transformation, Bad T\u00f6lz, April 1986. Amsterdam: North-Holland, 1987, 367\u2013392."},{"key":"10_CR10","unstructured":"B. M\u00f6ller: Higher-order algebraic specifications. Fakult\u00e4t f\u00fcr Mathematik und Informatik der TU M\u00fcnchen, Habilitationsschrift, 1987."},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"4","author":"G.D. Plotkin","year":"1977","unstructured":"G.D. Plotkin: LCF considered as a programming language. Theoretical Computer Science 4, 1977, 223\u2013255.","journal-title":"Theoretical Computer Science"},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0019-9958(86)80027-4","volume":"68","author":"A. Poign\u00e9","year":"1986","unstructured":"A. Poign\u00e9: On specifications, theories, and models with higher types. Information and Control 68, 1986, 1\u201346.","journal-title":"Information and Control"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0304-3975(85)90094-5","volume":"37","author":"A. Tarlecki","year":"1985","unstructured":"A. Tarlecki: On the existence of free models in abstract algebraic institutions. Theoretical Computer Science 37, 1985, 269\u2013304.","journal-title":"Theoretical Computer Science"},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0022-0000(86)90057-7","volume":"33","author":"A. Tarlecki","year":"1986","unstructured":"A. Tarlecki: Quasi-varieties in abstract algebraic institutions. Journal of Computer and System Sciences 33, 1986, 333\u2013360.","journal-title":"Journal of Computer and System Sciences"},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.3233\/FI-1986-9106","volume":"9","author":"A. Tarlecki","year":"1986","unstructured":"A. Tarlecki, M. Wirsing: Continuous abstract data types. Fundamenta Informaticae 9, 1986, 95\u2013125.","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","CAAP '88"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T03:51:15Z","timestamp":1626753075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190219","9783540389309"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0026101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]},"assertion":[{"value":"10 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}