{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:32:16Z","timestamp":1725456736807},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540508406"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0028973","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:28:19Z","timestamp":1133414899000},"page":"59-71","source":"Crossref","is-referenced-by-count":5,"title":["Observational implementations"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","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 und M. Wirsing: A systematic study of models of abstract data types. Theoretical Computer Science\n33, 139\u2013174 (1984).","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"5_CR2","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/9758.10501","volume":"9","author":"M. Broy","year":"1987","unstructured":"M. Broy, P. Pepper und M. Wirsing: On the algebraic definition of programming languages. ACM Trans. on Prog. Languages and Systems\n9, 1, 54\u201399 (1987).","journal-title":"ACM Trans. on Prog. Languages and Systems"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"P.M. Cohn: Universal algebra. D. Reidel Publishing Company, Dordrecht, Holland (rev. edition), (1981).","DOI":"10.1007\/978-94-009-8399-1"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(82)80001-7","volume":"20","author":"H. Ehrig","year":"1982","unstructured":"H. Ehrig, H.J. Kreowski, B. Mahr und P. Padawitz: Algebraic implementation of abstract data types. Theoretical Computer Science\n20, 209\u2013263 (1982).","journal-title":"Theoretical Computer Science"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1007\/3-540-07854-1_231","volume":"45","author":"V. Giarratana","year":"1976","unstructured":"V. Giarratana, F. Gimona und U. Montanari: Observability concepts in abstract data type specification. In: A. Mazurkiewicz (ed.): Proc. MFCS 76, 5th Internat. Symp. on Mathematical Foundations of Comp. Science, Gdansk, Sept. 1976. Springer Lecture Notes in Computer Science 45, 576\u2013587 (1976).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"5_CR6","unstructured":"J.A. Goguen, R.M. Burstall: CAT, a system for the structured elaboration of correct programs from structured specifications. Technical report CSL-118, Comp. Science Laboratory, SRI International (1980)."},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BFb0012775","volume":"140","author":"J.A. Goguen","year":"1982","unstructured":"J.A. Goguen, J. Meseguer: Universal realization, persistent interconnection and implementation of abstract modules. In: M. Nielsen, E.M. Schmidt (eds.): Proc. ICALP 82, 9th Coll. on Automata, Languages and Programming, Aarhus, July 1982. Springer Lecture Notes in Computer Science 140, 265\u2013281 (1982).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"5_CR8","unstructured":"R. Hennicker: Beobachtungsorientierte Spezifikationen. Dissertation, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1988)."},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-662-09691-8_10","volume":"116","author":"R. Hennicker","year":"1985","unstructured":"R. Hennicker, M. Wirsing: Observational specification: a Birkhoff-theorem. In: H.J. Kreowski (ed.): Recent Trends in Data Type Specification. 3rd Workshop on Theory and Appl. of Abstract Data Types, Selected Papers. Informatik Fachberichte 116, 119\u2013135, Springer Verlag (1985).","journal-title":"Informatik Fachberichte"},{"key":"5_CR10","unstructured":"H. Reichel: Behavioural equivalence \u2014 a unifying concept for initial and final specification methods. In: M. Arato, L. Varga (eds.): Math. Models in Comp. Systems, Proc. 3rd Hungarian Computer Science Conf., Budapest, January 1981, 27\u201339 (1981)."},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/3-540-15198-2_20","volume":"185","author":"D.T. Sannella","year":"1985","unstructured":"D.T. Sannella, A. Tarlecki: On observational equivalence and algebraic specification. In: H. Ehrig, C. Floyd, M. Nivat, J. Thatcher (eds.): Proc. TAPSOFT 85, Joint Conf. on Theory and Practice of Software Development, Berlin, March 1985. Springer Lecture Notes in Computer Science 185, 308\u2013322 (1985).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-17660-8_50","volume":"249","author":"D.T. Sannella","year":"1987","unstructured":"D.T. Sannella, A. Tarlecki: Toward formal development of programs from algebraic specifications: implementations revisited. Proc. TAPSOFT 87, Joint Conf. on Theory and Practice of Software Development, Pisa, March 1986. Springer Lecture Notes in Computer Science 249, 96\u2013110 (1987).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BFb0012793","volume":"140","author":"D.T. Sannella","year":"1982","unstructured":"D.T. Sannella, M. Wirsing: Implementation of parameterized specifications. In: M. Nielsen, E.M. Schmidt (eds.): Proc. ICALP 82, 9th Coll. on Automata, Languages and Programming, Aarhus, July 1982. Springer Lecture Notes in Computer Science 140, 473\u2013488 (1982).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"5_CR14","unstructured":"O. Schoett: Data abstraction and the correctness of modular programming. Ph.D. thesis, CST-42-87, Department of Comp. Science, University of Edinburgh (1987)."},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/BF02945004","volume":"2","author":"A. Selman","year":"1972","unstructured":"A. Selman: Completeness of calculi for axiomatically defined classes of algebras. Algebra universalis\n2, 20\u201332 (1972).","journal-title":"Algebra universalis"}],"container-title":["Lecture Notes in Computer Science","STACS 89"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028973.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:59:29Z","timestamp":1607551169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028973"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540508406"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0028973","relation":{},"subject":[]}}