{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:01Z","timestamp":1762458421428},"reference-count":28,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1982,9,1]],"date-time":"1982-09-01T00:00:00Z","timestamp":399686400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T00:00:00Z","timestamp":1374105600000},"content-version":"vor","delay-in-days":11278,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Control"],"published-print":{"date-parts":[[1982,9]]},"DOI":"10.1016\/s0019-9958(82)80021-1","type":"journal-article","created":{"date-parts":[[2004,12,15]],"date-time":"2004-12-15T09:12:12Z","timestamp":1103101932000},"page":"186-200","source":"Crossref","is-referenced-by-count":33,"title":["The completeness of the algebraic specification methods for computable data types"],"prefix":"10.1016","volume":"54","author":[{"given":"J.A.","family":"Bergstra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.V.","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1979","series-title":"Algebraic Specifications of Computable and Semicomputable Data Structures","author":"Bergstra","key":"10.1016\/S0019-9958(82)80021-1_bib1"},{"issue":"11","key":"10.1016\/S0019-9958(82)80021-1_bib2","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/988056.988058","article-title":"On the adequacy of finite equational methods for data type specification","volume":"14","author":"Bergstra","year":"1979","journal-title":"ACM-SIGPLAN Notices"},{"key":"10.1016\/S0019-9958(82)80021-1_bib3","series-title":"Automata, Languages. and Programming, Seventh Colloquium, Noordwijkerhout","first-page":"76","article-title":"A characterisation of computable data types by means of a finite, equational specification method","author":"Bergstra","year":"1980"},{"year":"1980","series-title":"Equational Specifications for Computable Data Types: Six Hidden Functions Suffice and Other Sufficiency Bounds","author":"Bergstra","key":"10.1016\/S0019-9958(82)80021-1_bib4"},{"year":"1980","series-title":"On bounds for the Specification of Finite Data Types by Means of Equations and Conditional Equations","author":"Bergstra","key":"10.1016\/S0019-9958(82)80021-1_bib5"},{"key":"10.1016\/S0019-9958(82)80021-1_bib6","first-page":"23","article-title":"A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification","volume":"11","author":"Bergstra","year":"1980","journal-title":"Bull. European Assoc. Theoret. Comput. Sci."},{"key":"10.1016\/S0019-9958(82)80021-1_bib7","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1137\/0212024","article-title":"Initial and final algebra semantics for data type specifications: Two characterisation theorems","volume":"12","author":"Bergstra","year":"1983","journal-title":"SIAM J. Comput."},{"key":"10.1016\/S0019-9958(82)80021-1_bib8","series-title":"Automata, Languages, and Programming, Sixth Colloquium, Graz","first-page":"72","article-title":"Existential quantifiers in abstract data types","author":"Broy","year":"1979"},{"key":"10.1016\/S0019-9958(82)80021-1_bib9","series-title":"Proceedings ACM Conference on Computer Graphics, Pattern Recognition, and Data Structure","first-page":"89","article-title":"Abstract data types as initial algebras and correctness of data representations","author":"Goguen","year":"1975"},{"key":"10.1016\/S0019-9958(82)80021-1_bib10","series-title":"Current Trends in Programming Methodology IV, Data Structuring","first-page":"80","article-title":"An initial algebra approach to the specification, correctness and implementation of abstract data types","author":"Goguen","year":"1978"},{"article-title":"The Specification and Application to Programming of Abstract Data Types","year":"1975","author":"Guttag","key":"10.1016\/S0019-9958(82)80021-1_bib11"},{"key":"10.1016\/S0019-9958(82)80021-1_bib12","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","article-title":"The algebraic specification of abstract data types","volume":"10","author":"Guttag","year":"1978","journal-title":"Acta Inform."},{"key":"10.1016\/S0019-9958(82)80021-1_bib13","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"12","author":"Hoare","year":"1969","journal-title":"Comm. ACM"},{"key":"10.1016\/S0019-9958(82)80021-1_bib14","series-title":"Automata, Languages, and Programming, Seventh Colloquium, Noordwijkerhout","first-page":"310","article-title":"Terminal algebra semantics and retractions for abstract data types","author":"Hornung","year":"1980"},{"key":"10.1016\/S0019-9958(82)80021-1_bib15","series-title":"Seventh ACM Principles of Programming Languages Conference","first-page":"131","article-title":"Final data type specifications: A new data-type specification method","author":"Kamin","year":"1980"},{"key":"10.1016\/S0019-9958(82)80021-1_bib16","article-title":"Towards a Theory for Abstract Data Types","author":"Kapur","year":"1980","journal-title":"MIT\/LCS\/TR-237"},{"key":"10.1016\/S0019-9958(82)80021-1_bib17","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","article-title":"Specification techniques for data abstractions","volume":"1","author":"Liskov","year":"1975","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/S0019-9958(82)80021-1_bib18","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1070\/RM1961v016n03ABEH001120","article-title":"Constructive algebras. I","volume":"16","author":"Mal'cev","year":"1961","journal-title":"Russian Math. Surveys"},{"year":"1977","series-title":"A Course in Mathematical Logic","author":"Manin","key":"10.1016\/S0019-9958(82)80021-1_bib19"},{"key":"10.1016\/S0019-9958(82)80021-1_bib20","first-page":"341","article-title":"Computable algebra, general theory and the theory of computable fields","volume":"95","author":"Rabin","year":"1960","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0019-9958(82)80021-1_bib21","article-title":"Specification of Abstract Data Types Using Conditional Axioms","author":"Thatcher","year":"1979","journal-title":"IBM Research Report RC 6214"},{"key":"10.1016\/S0019-9958(82)80021-1_bib22","article-title":"Data Type Specification: Parametrization and the Power of Specification Techniques","author":"Thatcher","year":"1979","journal-title":"IBM Research Report RC 7757"},{"key":"10.1016\/S0019-9958(82)80021-1_bib23","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0022-0000(79)90011-4","article-title":"Final algebra semantics and data type extensions","volume":"19","author":"Wand","year":"1979","journal-title":"J. Comput. Systems Sci."},{"key":"10.1016\/S0019-9958(82)80021-1_bib24","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/BF01939551","article-title":"Numerical analysis as an independent science","volume":"6","author":"Van Wijngaarden","year":"1966","journal-title":"BIT"},{"key":"10.1016\/S0019-9958(82)80021-1_bib25","series-title":"Mathematical Foundations of Computer Science, Eight Symposium Rydzyna","article-title":"Abstract data types as lattices of fintely generated models","author":"Wirsing","year":"1980"},{"key":"10.1016\/S0019-9958(82)80021-1_bib26","article-title":"Algebraic Specification of Data Types","volume":"11","author":"Zilles","year":"1974"},{"article-title":"An Introduction to Data Algebras","year":"1975","author":"Zilles","key":"10.1016\/S0019-9958(82)80021-1_bib27"},{"key":"10.1016\/S0019-9958(82)80021-1_bib28","series-title":"Mathematical Foundations of Computer Science","article-title":"Observability concepts in abstract data type specification","author":"Giarratana","year":"1976"}],"container-title":["Information and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0019995882800211?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0019995882800211?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T13:29:55Z","timestamp":1548941395000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0019995882800211"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,9]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1982,9]]}},"alternative-id":["S0019995882800211"],"URL":"https:\/\/doi.org\/10.1016\/s0019-9958(82)80021-1","relation":{},"ISSN":["0019-9958"],"issn-type":[{"type":"print","value":"0019-9958"}],"subject":[],"published":{"date-parts":[[1982,9]]}}}