{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:36Z","timestamp":1725662856562},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540088608"},{"type":"electronic","value":"9783540358077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08860-1_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:34:12Z","timestamp":1330187652000},"page":"205-226","source":"Crossref","is-referenced-by-count":32,"title":["Stepwise specification and implementation of abstract data types"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Padawitz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"16_CR1","unstructured":"Goguen, J.A.-Thatcher, J.W.-Wagner, E.G.-Wright, J.B.: Abstract data types as initial algebras and correctness of data representations, Proceedings Conf. on Comp. Graphics, Pattern Recognition and Data Structure, May, 1975, 89\u201393"},{"key":"16_CR2","unstructured":"Burstall, R.M.-Goguen, J.A.: Putting Theories together to Make Specifications, Proc. Int. Jt. Conf. on Artificial Intelligence, Boston, August 1977"},{"key":"16_CR3","unstructured":"Ehrich, H.-D.: Algebraische Spezifikation von Datenstrukturen, Proc. Workshop Graphentheoretische Konzepte in der Informatik, Linz, Juni 1977"},{"key":"16_CR4","unstructured":"Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Some Remarks concerning Correct Specification and Implementation of Abstract Data Types, Technical University Berlin, Informatik Research Report No. 77-13, August 1977"},{"key":"16_CR5","unstructured":"Ehrig, H.-Kreowski, H.-J.-Weber, H.: Algebraic Specification Schemes for Data Base Systems, Research Report HMI-B 266, Hahn-Meitner-Institut Berlin, Februar 1978"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1007\/3-540-07854-1_231","volume":"45","author":"V. Giarratana","year":"1976","unstructured":"Giarratana, V.-Gimona, F.-Montanari, U.: Observability Concepts in Abstract Data Type Specification, Proc. 5th MFOC Symposium, Lecture Notes in Comp. Sci. 45 (1976), 576\u2013587","journal-title":"Lecture Notes in Comp. Sci."},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"\/GTW2 77\/ Goguen, J.A.-Thatcher, J.W.-Wagner, E.G.-Wright, J.B.: Initial Algebra Semantics and Continuous Algebras, J. ACM 24, 1 (Jan 1977), 68\u201395","journal-title":"J. ACM"},{"key":"16_CR8","unstructured":"Goguen, J.A.-Thatcher, J.W.-Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, IBM Research Report RC 6487 (1976)"},{"key":"16_CR9","unstructured":"Guttag, J.V.: The Specification and Application to Programming of Abstract Data Types, Univ. of Toronto, Comp. Syst. Research Group, Techn. Report CSRG-59, September 1975"},{"key":"16_CR10","unstructured":"\u2014: Abstract Data Types and the Development of Data Structures, Supplement to Proc. Conf. on Data Abstraction, Definition, and Structure, SIGPLAN Notices 8, March, 1976"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of Correctness of Data Representations, Acta Informatica 1, 271\u2013281 (1972)","journal-title":"Acta Informatica"},{"key":"16_CR12","unstructured":"Kanda, A.: Data Types as Effective Objects, University of Warwick, Theory of Comp. Report No. 22, Dec 1977"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Lehman, D.J.-Smyth, M.B.: Data Types, Proc. 18th IEEE Symposium on Foundations of Computing, Providence, R.I., Nov. 1977, 7\u201312","DOI":"10.1109\/SFCS.1977.10"},{"key":"16_CR14","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"B. H. Liskov","year":"1974","unstructured":"Liskov, B.H.-Zilles, S.N.: Programming with abstract data types, Proc. of ACM Symp. on Very High Level Languages, SIGPLAN Notices 9 (1974), 50\u201359","journal-title":"SIGPLAN Notices"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"D. L. Parnas","year":"1972","unstructured":"Parnas, D.L.: A technique for software module specification with examples, Comm. ACM 15, pp. 330\u2013336, May 1972","journal-title":"Comm. ACM"},{"key":"16_CR16","unstructured":"Padawitz, P.: Stepwise Algebraic Specification and SIMULA Implementation of an Uncompromisable File System, Technical University Berlin, in preparation"},{"key":"16_CR17","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. SIGACT 10th Symp. on Theory of Computing, San Diego, May 1978","DOI":"10.1145\/800133.804340"},{"key":"16_CR18","unstructured":"Wand, M.: Final Algebra Semantics and Data Type Extensions, Indiana University, Comp. Sci. Dept. Technical Report No.65, July 1977"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Walter, K.G.-Ogelen, W.F.-Gilligan, J.M.-Schaeffer, D.D.-Schaen, S.I.-Shumway, D.G.: Initial Structured Specifications for an Uncompromisable Computer Security System, Technical Report, Case Western Reserve Univ., 1975","DOI":"10.21236\/ADA022490"},{"key":"16_CR20","unstructured":"Zilles, S.N.: Algebraic Specification of Data Types, Proj. MAC Report 11, M.I.T., Cambridge Mass. (1974), 25\u201328"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08860-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:00:02Z","timestamp":1605643202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08860-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540088608","9783540358077"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-08860-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}