{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:23Z","timestamp":1725662903026},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108566"},{"type":"electronic","value":"9783540387695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10856-4_93","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:32:40Z","timestamp":1330173160000},"page":"271-280","source":"Crossref","is-referenced-by-count":8,"title":["On realization and implementation"],"prefix":"10.1007","author":[{"given":"H. D.","family":"Ehrich","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A.\/Thatcher, J.W.\/Wagner, E.G.\/Wright, J.B.: Initial Algebra Semantics and Continuous Algebras. Journal ACM 24, (1977), 68\u201395","journal-title":"Journal ACM"},{"key":"24_CR2","first-page":"80","volume-title":"Current Trends in Programming Methodology","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A.\/Thatcher, J.W.\/Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. Current Trends in Programming Methodology, Vol IV(R.T. Yeh, ed.). Prentice Hall, Englewood Cliffs 1978, 80\u2013149"},{"key":"24_CR3","volume-title":"Arrows, Structures, and Functors","author":"M.A. Arbib","year":"1975","unstructured":"Arbib, M.A.\/Manes, E.G.: Arrows, Structures, and Functors. Academic Press, New York, 1975"},{"key":"24_CR4","first-page":"155","volume-title":"Proc. 7th MFCS 1978","author":"H-D. Ehrich","year":"1978","unstructured":"Ehrich, H-D.: Extensions and Implementations of Abstract Data Type Specifications. Proc. 7th MFCS 1978, J. Winkowski (ed), LNCS 64, Springer-Verlag, Berlin 1978, 155\u2013164"},{"key":"24_CR5","unstructured":"Ehrich,H.-D.: On the Theory of Specification, Implementation, and Parameterization of Abstract Data Types. Bericht Nr. 82\/79, Abteilung Informatik, Univ. Dortmund 1979 (also to appear in Journal ACM)"},{"key":"24_CR6","first-page":"231","volume-title":"Proc. 9th MFCS","author":"h. Ehrig","year":"1980","unstructured":"Ehrig, h.\/Kreowski, H.-J.\/Mahr, B.\/Padawitz, P.: Compound Algebraic Implementations: an Approach to Stepwise Refinement of Software Systems. Proc. 9th MFCS (P. Dembinski, ed.), LNCS 88, Springer-Verlag, Berlin 1980, 231\u2013245"},{"key":"24_CR7","first-page":"205","volume-title":"Proc. 5th ICALP","author":"H. Ehrig","year":"1978","unstructured":"Ehrig, H.\/Kreowski, H.-J.\/Padawitz, P.: Stepwise Specification and Implementation of Abstract Data Types. Proc. 5th ICALP (G. Ausiello\/C. Boehm, eds.), LNCS 62, Springer-Verlag, Berlin 1978, 205\u2013226"},{"key":"24_CR8","first-page":"142","volume-title":"Proc. 7th ICALP","author":"H. Ehrig","year":"1980","unstructured":"Ehrig, H.\/Kreowski, H.-J.\/Padawitz, P.: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics, and Correctness. Proc. 7th ICALP (J.W. deBakker\/J. van Leeuwen, eds.), LNCS 85, Springer-Verlag, Berlin 1980, 142\u2013156"},{"key":"24_CR9","series-title":"Internal Report","volume-title":"Parameterized Specifications: Parameter Passing and Implementation","author":"H. Ganzinger","year":"1980","unstructured":"Ganzinger, H.: Parameterized Specifications: Parameter Passing and Implementation. Internal Report, EECS-Comp.Sc. Division, UC Berkeley, September 1980"},{"key":"24_CR10","unstructured":"Guttag, J.V.: The Specification and Application to Programming of Abstract Data Types. Tech. Report CSRG-59, Univ. of Toronto, September 1975"},{"key":"24_CR11","volume-title":"Algebraic Structure Theory of Sequential Machines","author":"J. Hartmanis","year":"1966","unstructured":"Hartmanis, J.\/Stearns, R.E.: Algebraic Structure Theory of Sequential Machines. Prentice-Hall, Englewood Cliffs, 1966"},{"key":"24_CR12","first-page":"291","volume-title":"Proc 9th MFCS","author":"U.L. Hupbach","year":"1980","unstructured":"Hupbach, U.L.: Abstract Implementations of Abstract Data Types. Proc 9th MFCS (P. Dembinski, ed.), LNCS 88, Springer-Verlag, Berlin 1980, 291\u2013304"},{"key":"24_CR13","unstructured":"Lipeck, U.: Zum Begriff der Implementierung in der Theorie der abstrakten Datentypen. Diplomarbeit, Abteilung Informatik, Univ. Dortmund 1979"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Mayoh,B.H.: Data Types as Functions. Report DAIMI PB-89, Comp. Sc.Dept. Aarhus University, July 1978","DOI":"10.7146\/dpb.v7i89.6504"},{"key":"24_CR15","unstructured":"Nourani,F.: Constructive Extension and Implementation of Abstract Data Types and Algorithms. Report UCLA-ENG-7945, Comp. Sc. Dept. UC Los Angeles, August 1979"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10856-4_93.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:04:07Z","timestamp":1605625447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10856-4_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108566","9783540387695"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-10856-4_93","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}