{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:09:21Z","timestamp":1736140161405,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":20,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010027X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022508","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:49:12Z","timestamp":1132724952000},"page":"231-245","source":"Crossref","is-referenced-by-count":4,"title":["Compound algebraic implementations: An approach to stepwise refinement of software systems"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"H. -J.","family":"Kreowski","sequence":"additional","affiliation":[]},{"given":"B.","family":"Mahr","sequence":"additional","affiliation":[]},{"given":"P.","family":"Padawitz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Burstall, R.M.-Goguen, J.A.: Putting Theories together to Make Specifications, Proc. Int.Conf. Artificial Intelligence, Boston, 1977"},{"key":"17_CR2","unstructured":"\u2014: CAT, a System for the Structured Elaboration of Correct Programs from Structured Specifications, Preliminary Draft, 1979"},{"key":"17_CR3","unstructured":"\u2014: Semantics of CLEAR, a specification language, Proc. 1979 Copenhagen Winter School on Abstract Software Specif., 1980"},{"key":"17_CR4","volume-title":"Structured Programming","author":"E.W. Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: Notes on Structured Programming, in: Structured Programming, C.A.R. Hoare, Ed., Academic Press, New York, 1972"},{"key":"17_CR5","first-page":"155","volume":"64","author":"H.D. Ehrich","year":"1978","unstructured":"Ehrich, H.D.: Extensions and Implementations of Abstract Data Type Specifications, Proc.Conf.MFCS'78,Zakopane,Springer Lect. Not. in Comp. Sci. 64, 1978, 155\u2013163","journal-title":"Proc.Conf.MFCS'78,Zakopane,Springer Lect. Not. in Comp. Sci."},{"key":"17_CR6","unstructured":"\u2014: On the Theory of Specification, Implementation and Parametrization of Abstract Data Types, Forschungsbericht Univ. Dortmund, 1978"},{"key":"17_CR7","unstructured":"Ehrig, H.-Kreowski,H.-J.-Mahr,B.-Padawitz,P.: Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems (long version), Forschungsbericht Nr. 80-04, TU Berlin, FB 20, 1980"},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-08860-1_16","volume":"62","author":"H. Ehrig","year":"1978","unstructured":"Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Stepwise Specification and Implementation of Abstract Data Types, Proc. ICALP'78, Udine, Springer Lect. Notes in Comp. Sci. 62, 1978, 205\u2013226.","journal-title":"Proc. ICALP'78, Udine, Springer Lect. Notes in Comp. Sci."},{"key":"17_CR9","unstructured":"\u2014: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness, Forschungsbericht Nr. 79-23, TU Berlin, FB 20, 1979, to appear in Proc. ICALP'80."},{"key":"17_CR10","unstructured":"Ehrig, H.-Kreowski, H.-J.-Thatcher, J.-Wagner,E.-Wright,J.: Parameterized Specifications in Algebraic Specification Languages, to appear in Proc. ICALP'80"},{"key":"17_CR11","unstructured":"Ehrig, H.-Kreowski, H.-J.-Weber, H.: Algebraic Specification Schemes for Data Base Systems, Proc.4. Int.Conf. on Very Large Data Bases, Berlin, 1978"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H. \u2014 Mahr, B.: Complexity of Implementations on the Level of Algebraic Specifications, Proc. 12.SIGACT Symp. on Theory of Computing, Los Angeles, 1980","DOI":"10.1145\/800141.804676"},{"key":"17_CR13","volume-title":"Some Algebraic Techniques for Proving Correctness of Data Type Implementation","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A. \u2014 Nournai, F.: Some Algebraic Techniques for Proving Correctness of Data Type Implementation, Extended Abstract, Comp. Sci. Dept., UCLA, Los Angeles, 1978"},{"key":"17_CR14","first-page":"80","volume-title":"Current Trends in Programming Methodology, IV: Data Structuring","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, in: Current Trends in Programming Methodology, IV: Data Structuring (R. Yeh, Ed.), Prentice Hall, New Jersey, 1978, 80\u2013144"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Guttag, J.V.: Abstract Data Types and the Development of Data Structures, Supplement to Proc. Conf. on Data Abstraction, Definition, and Structure, SIGPLAN Notices 8, March 1976","DOI":"10.1145\/800237.807124"},{"issue":"12","key":"17_CR16","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J.V. Guttag","year":"1978","unstructured":"Guttag, J.V.-Horowitz, E.-Musser, D.R.: Abstract Data Types and Software Validation, Comm. ACM, Vol. 21, No. 12, 1978, 1048\u20131063","journal-title":"Comm. ACM"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Lehmann, D.H.-Smyth, M.B.: Data Types, Univ. of Warwick, Dept. of Comp. Sci., Report No. 19, 1977, and Proc. 18th IEEE Symp. on Found. of Computing, Providence, R.I., Nov. 77, 7\u201312","DOI":"10.1109\/SFCS.1977.10"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Thatcher, J.W.-Wagner, E.G.-Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques, Proc. 10. SIGACT Symp. on Theory of Computing, San Diego, 1978, 119\u2013132; revised version in IBM Research Report RC 7757, 1979","DOI":"10.1145\/800133.804340"},{"key":"17_CR19","unstructured":"Wand, M.: Final Algebra Semantics and Data Type Extensions, Indiana Univ., Comp. Sci. Dept., Technical Report No. 65, 1977"},{"issue":"4","key":"17_CR20","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"Wirth, N.: Program Development by Stepwise Refinement, Comm. ACM, Vol. 14, No.4, 1971, 221\u2013227","journal-title":"Comm. ACM"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1980"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:25:48Z","timestamp":1736112348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022508"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010027X"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0022508","relation":{},"subject":[]}}