{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:17:29Z","timestamp":1778296649856,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540151999","type":"print"},{"value":"9783540393078","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:11:53Z","timestamp":1330193513000},"page":"214-230","source":"Crossref","is-referenced-by-count":14,"title":["A theory of abstract data types for program development: Bridging the gap?"],"prefix":"10.1007","author":[{"given":"T. S. E.","family":"Maibaum","sequence":"first","affiliation":[]},{"given":"Paulo A. S.","family":"Veloso","sequence":"additional","affiliation":[]},{"given":"M. R.","family":"Sadler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"14_CR1","unstructured":"J. Barwise, ed: Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Vol.90, North Holland, 1977."},{"key":"14_CR2","unstructured":"R.M. Burstall, J.A. Goguen: The Semantics of CLEAR, A Specification Language, (as in D'79)"},{"key":"14_CR3","unstructured":"R.M. Burstall, J.A. Goguen: An Informal Introduction to Specifications using CLEAR, in: \"The Correctness Problem in Computer Science\", eds. R.S. Boyer, J.S. Moore, Academic Press, 1981"},{"key":"14_CR4","unstructured":"M. Broy, M. Wirsing: Partial Abstract Types, Acta Informatica, Vol."},{"key":"14_CR5","volume-title":"A Synthesis of Several Sorting Algorithms, Imperial College of Science and Technology","author":"J. Darlington","year":"1977","unstructured":"J. Darlington: A Synthesis of Several Sorting Algorithms, Imperial College of Science and Technology, Department of Computing, London, 1977"},{"key":"14_CR6","unstructured":"B. Domolski: An Example of Hierarchical Program Specification, Proc. of 1979 Copenhagen Winter School on Abstract Sofware Specifications, LNCS86, Springer-Verlag"},{"key":"14_CR7","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"1972","unstructured":"H.B. Enderton: A Mathematical Introduction to Logic, Academic Press, New York, 1972"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"H-D. Ehrich: On the Theory of Specification, Implementation and Parameterisation of Abstract Data Types, JACM, Vol. 29, No. 1, 1982","DOI":"10.1145\/322290.322303"},{"key":"14_CR9","unstructured":"H. Ehrig, H-J. Kreowski: Parameter Passing Commutes with Implementation of Parameterised Data Types, 9th ICALP, LNCS 140, Springer-Verlag"},{"key":"14_CR10","unstructured":"H. Ehrig, H-J. Kreowski, B. Mahr, P. Padawitz: Compound Algebraic Implementations: an Approach to Stepwise Refinement of Software Systems, 9th MFCS, LNCS88, Springer-Verlag, 1980"},{"issue":"6","key":"14_CR11","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/359605.359618","volume":"20","author":"J. V. Guttag","year":"1977","unstructured":"J.V. Guttag: Abstract Data Types and the Development of Data Structures, Comm. ACM, Vol. 20, No. 6, pp. 396\u2013404, June 1977","journal-title":"Comm. ACM"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"J.V. Guttag: Notes on Type Abstraction (Version 2), IEEE TSE, Vol. 6, No. 1, 1980","DOI":"10.1109\/TSE.1980.230209"},{"key":"14_CR13","unstructured":"M. Gogolla: Algebraic Specifications with Partially Ordered Sorts, Tech.Report 169, Abt. Informatik, U. of Dortmund, 1983."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"H. Ganzinger: Parameterised Specifications: Parameter Passing and Implementation, ACM, TOPLAS, Vol. 5, No. 3, 1983","DOI":"10.1145\/2166.357212"},{"issue":"1","key":"14_CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. V. Guttag","year":"1978","unstructured":"J.V. Guttag and J.J. Horning: The Algebraic Specification of Abstract Data Types, Acta Informatica, Vol. 10, No. 1, pp. 27\u201352, 1978","journal-title":"Acta Informatica"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"J.V. Guttag, E. Horowitz, D.R. Musser: The Design of Data Type Specifications, in \"Current Trends in Programming Methodology, Vol. IV\", Ed. R.T. Yeh, Prentice Hall, 1978","DOI":"10.1007\/978-1-4612-6315-9_21"},{"key":"14_CR17","volume-title":"Current Trends in Programming Methodology, Vol. IV","author":"J. A. Goguen","year":"1978","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, in \"Current Trends in Programming Methodology, Vol. IV\", Ed. R.T. Yeh, Prentice Hall, Englewood Cliffs, 1978"},{"key":"14_CR18","unstructured":"U.L. Hupbach: Abstract Implementation of Abstract Data Types, 9th MFCS, LNCS88, Springer-Verlag, 1980"},{"key":"14_CR19","unstructured":"P. Henderson: Functional Programming: Application and Implementation, Prentice-Hall, 1980"},{"key":"14_CR20","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"4","author":"C. A. R. R. Hoare","year":"1972","unstructured":"C.A.R. Hoare: Proof of Correctness of Data Representations, Acta Informatica, Vol. 4, pp. 271\u2013281, 1972","journal-title":"Acta Informatica"},{"key":"14_CR21","volume-title":"Software Development: a Rigorous Approach","author":"C. B. Jones","year":"1980","unstructured":"C.B. Jones: Software Development: a Rigorous Approach, Prentice-Hall, London, 1980"},{"key":"14_CR22","volume-title":"The Art of Computer Programming","author":"D. E. Knuth","year":"1975","unstructured":"D.E. Knuth: The Art of Computer Programming, Vol. 3, Addison Wesley, Reading, 1975"},{"key":"14_CR23","unstructured":"B. Liskov: Modular Program Construction Using Abstractions, (as in D'79]"},{"key":"14_CR24","volume-title":"Current Trends in Programming Methodology, Vol. I","author":"B. Liskov","year":"1977","unstructured":"B. Liskov, S. Zilles: An Introduction to Formal Specifications of Data Abstractions, in \"Current Trends in Programming Methodology, Vol. I\", Ed. R.T. Yeh, Prentice-Hall, Englewood Cliffs, 1977"},{"key":"14_CR25","volume-title":"The Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Z. Manna: The Mathematical Theory of Computation, McGraw-Hill, New York, 1974"},{"key":"14_CR26","unstructured":"T.S.E. Maibaum, P.A.S. Veloso: A Logical Approach to Abstract Data Types, Technical Report, Department of Computing, Imperial College, and Departamento de Informatica, PUC\/RJ, 1981"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"T.S.E. Maibaum, M.R. Sadler, P.A.S. Veloso: Logical Specification and Implementation, Technical Report, Department of Computing, Imperial College, 1983","DOI":"10.1007\/3-540-13883-8_62"},{"key":"14_CR28","unstructured":"T.S.E. Maibaum, M.R. Sadler, P.A.S. Veloso: A Straightforward Approach to Parameterised Specifications, Technical Report, Department of Computing, Imperial College, 1983"},{"key":"14_CR29","unstructured":"A. Poigne: Another Look at Parameterisation Using Suborts, MFCS84, LNCS176, 1984."},{"key":"14_CR30","unstructured":"M.R. Sadler, T.S.E. Maibaum: The Logic of Namability, In preparation"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"D. Sanella, M. Wirsing: Implementation of Parameterised Specifications, 9th ICALP, LNCS140, Springer-Verlag, 1982","DOI":"10.1007\/BFb0012793"},{"key":"14_CR32","volume-title":"Mathematical Logic","author":"J. R. Schoenfield","year":"1967","unstructured":"J.R. Schoenfield: Mathematical Logic, Addison Wesley, Reading, 1967"},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"W.M. Turski: Computer Programming Methodology, Heyden, London, 1978","DOI":"10.1145\/1005888.1005894"},{"key":"14_CR34","unstructured":"P.A.S. Veloso, T.H.C. Pequeno: Interpretations between Many-Sorted Theories, 2nd Brasilian Colloquium on Logic, Campinas, 1978"},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"M. Wirsing, M. Broy: An Analysis of Semantic Models for Algebraic Specifications, in \"Theoretical Foundations of Programming Methodology\", eds. M. Broy, G. Schmidt, Reidel, Dordrecht, 1982","DOI":"10.1007\/978-94-009-7893-5_12"},{"key":"14_CR36","unstructured":"M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On Hierarchies of Abstract Data Types, Technische Univ., Munchen, Inst. Informatik, 1980"},{"issue":"1","key":"14_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On Hierarchies of Abstract Data Types, Acta Informatica, Vol. 20, Fasc. 1, pp. 1\u201333, 1983","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:33:00Z","timestamp":1640914380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}