{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:16:28Z","timestamp":1773717388277,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540108566","type":"print"},{"value":"9783540387695","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10856-4_85","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:32:32Z","timestamp":1330191152000},"page":"193-204","source":"Crossref","is-referenced-by-count":18,"title":["On the power of algebraic specifications"],"prefix":"10.1007","author":[{"given":"J. A.","family":"Bergstra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Broy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. V.","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"16_CR1","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 IV. Prentice Hall \/1978\/, 80\u2013144."},{"key":"16_CR2","unstructured":"H. Andreka, B. Burmeister, I. Nemeti: Quasivarieties of partial algebras \u2014 a unifying approach towards a two-valued model theory for partial algebras. TH Darmstadt, FB Math. Preprint Nr. 557."},{"key":"16_CR3","unstructured":"A. Arnold, M. Karpinski: An easy improvement of Bergstra-Meyer's 81 equations bound for data specifications. EATCS Bull. 12, \/1980\/."},{"key":"16_CR4","volume-title":"Algorithmic language and program development","author":"F.L. Bauer","year":"1981","unstructured":"F.L. Bauer, H. W\u00f6ssner: Algorithmic language and program development. Berlin: Springer \/1981\/, to appear."},{"key":"16_CR5","unstructured":"J. Bergstra, J. Meyer: On bounds for the specification of finite monoids by means of equations using only unary hidden functions. Univ. of Leiden, Rep. 80-11, \/1980\/."},{"key":"16_CR6","unstructured":"J. Bergstra, J. Tucker: Algebraic specifications of computable and semicomputable data structures. Math. Centre Amsterdam Rep. IW 115,\/1979\/."},{"key":"16_CR7","unstructured":"J. Bergstra, J. Tucker: Initial and final algebra semantics for data type specifications: Two characterization theorems. Math. Centre Amsterdam Rep. IW 142, \/1980\/."},{"key":"16_CR8","unstructured":"J. Bergstra, J. Tucker: On bounds for the specification of finite data types by means of equations and conditional equations, Math. Centre Amsterdam Rep. IW 131, \/1980\/."},{"key":"16_CR9","unstructured":"J. Bergstra, J. Tucker: Equational specifications for computable data types: six hidden functions suffice and other sufficiency bounds, Math. Centre Amsterdam Rep. IW 128, \/1980\/."},{"key":"16_CR10","first-page":"26","volume":"71","author":"A. Bertoni","year":"1979","unstructured":"A. Bertoni, G. Mauri, P. Miglioli: A characterization of abstract data types as model-theoretic invariants, 6th ICALP, LNCS 71, 26\u201337, \/1979\/.","journal-title":"6th ICALP, LNCS"},{"key":"16_CR11","first-page":"47","volume":"9","author":"A. Bertoni","year":"1979","unstructured":"A. Bertoni, G. Mauri, P. Miglioli, M. Wirsing: On different approaches to abstract data types and the existence of recursive models. EATCS Bull. 9, 47\u201357, \/1979\/.","journal-title":"EATCS Bull."},{"key":"16_CR12","first-page":"73","volume":"71","author":"M. Broy","year":"1979","unstructured":"M. Broy, W. Dosch, H. Partsch, P. Pepper, M. Wirsing: Existential quantifiers in abstract data types. 6th ICALP, LNCS 71, 73\u201387, \/1979\/.","journal-title":"6th ICALP, LNCS"},{"key":"16_CR13","unstructured":"M. Broy, M. Wirsing: Initial versus terminal algebra semantics for partially defined abstract types. TU M\u00fcnchen, TUM-I8018, \/1980\/."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"M. Broy, M. Wirsing: On the algebraic specification of nondeterministic programming languages. 6th CAAP, Genova, \/1981\/.","DOI":"10.1007\/3-540-10828-9_61"},{"key":"16_CR15","unstructured":"R.M. Burstall, J.A. Goguen: Putting theories together to make specifications. Proc. Int. Conf. A.I.,\/1977\/."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"R.M. Burstall, J.A. Goguen: The semantics of CLEAR: a specification language. Proc. C'hagen Winter Schl. on Abstract Software Specifications, \/1980\/.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"16_CR17","unstructured":"Report on the wide spectrum language CIP-L, TU M\u00fcnchen, to appear."},{"key":"16_CR18","unstructured":"E.W. Dijkstra: A discipline of programming. Prentice Hall, Englewood Cliffs, \/1976\/."},{"key":"16_CR19","unstructured":"H.D. Ehrich, U. Lipeck: Proving implementations correct \u2014 two alternative approaches. IFIP Congress 80."},{"key":"16_CR20","first-page":"157","volume":"85","author":"H. Ehrig","year":"1980","unstructured":"H. Ehrig, H.J. Kreowski, J.W. Thatcher, E.G. Wagner, J.B. Wright: Parameterized data types in algebraic specification languages. 7th ICALP, LNCS 85, 157\u2013168, \/1980\/.","journal-title":"7th ICALP, LNCS"},{"key":"16_CR21","unstructured":"M.C. Gaudel: Generation et preuve de compilateurs bas\u00e9es sur une semantique formelle des langages de programmation. These d'Etat, Nancy, \/1980\/."},{"key":"16_CR22","first-page":"576","volume":"45","author":"V. Giarratana","year":"1976","unstructured":"V. Giarratana, F. Gimona, U. Montanari: Observability concepts in abstract data type specifications. 5th MFCS, LNCS 45, 576\u2013587, \/1976\/.","journal-title":"5th MFCS, LNCS"},{"key":"16_CR23","unstructured":"J.V. Guttag: The specification and application to programming of abstract data types. Ph.D. thesis, Univ. of Toronto, \/1975\/."},{"key":"16_CR24","unstructured":"M.C. Eennessy, G.D. Plotkin: Full abstraction for a simple parallel programming language. MFCS 79,Olomouc."},{"key":"16_CR25","first-page":"310","volume":"85","author":"G. Hornung","year":"1980","unstructured":"G. Hornung, P. Raulefs: Terminal algebra semantics and retractions for abstract data types. 7th ICALP, LNCS 85, 310\u2013323, \/1980\/.","journal-title":"7th ICALP, LNCS"},{"key":"16_CR26","first-page":"291","volume":"88","author":"U. Hupbach","year":"1980","unstructured":"U. Hupbach: Abstract implementation of abstract data type. 9th MFCS, Rydzyna, LNCS 88, 291\u2013304, \/1980\/.","journal-title":"9th MFCS, Rydzyna, LNCS"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"S. Kamin: Final data type specifications: a new data type specification method. 7th POPL, Las Vegas,\/1979\/.","DOI":"10.1145\/567446.567459"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"H. Klaeren, H. Petzsch: The development of an interpreter by means of algebraic software specifications, FPC 81, Peniscola, LNCS 107, 335\u2013346.","DOI":"10.1007\/3-540-10699-5_109"},{"key":"16_CR29","unstructured":"J. Loeckx: Algorithmic specifications of abstract data types. Univ. Saarbr\u00fccken, Rep. A 80\/12\/"},{"key":"16_CR30","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0304-3975(79)90059-8","volume":"8","author":"M. Majster","year":"1979","unstructured":"M. Majster: Data types, abstract data types and their specification problems. TCS 8, 89\u2013127, \/1979\/.","journal-title":"TCS"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Shamir: The theoretical aspects of the optimal fixed point. Siam J. of Comp. 5, \/1976\/.","DOI":"10.21236\/ADA027454"},{"key":"16_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4385-2","volume-title":"A course in mathematical logic","author":"Y. Manin","year":"1977","unstructured":"Y. Manin: A course in mathematical logic, Springer-Verlag, New York, \/1977\/."},{"key":"16_CR33","unstructured":"C. Pair: Types abstraits et semantique alg\u00e9brique des langages de programmation. Centre Recherche Informatique de Nancy, 80-R-011, \/1980\/."},{"key":"16_CR34","unstructured":"H. Reichel: Theorie der Aequoide, Dissertation B. Humboldt-Universit\u00e4t Berlin, \/1979\/."},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"H. Reichel: Initially restricting algebraic theories. 9th MFCS, Rydzyna, LNCS 88, 504\u2013514.","DOI":"10.1007\/BFb0022528"},{"key":"16_CR36","volume-title":"Theory of recursive functions and effective computability","author":"H. Rogers Jr.","year":"1967","unstructured":"H. Rogers Jr.: Theory of recursive functions and effective computability. McGraw-Hill: New York, \/1967\/."},{"key":"16_CR37","volume-title":"Mathematical logic","author":"J. Shoenfield","year":"1967","unstructured":"J. Shoenfield: Mathematical logic. Addison-Wesley, Reading, \/1967\/."},{"key":"16_CR38","unstructured":"P.A. Veloso, T.H. Pequeno: Don't write more axioms than you have to. Univ. Rio de Janeiro, Monografias en Ciencia do Computacao No. 10, \/1979\/."},{"key":"16_CR39","unstructured":"M. Wand: Final algebra semantics and data type extensions. Indiana University TR65, \/1978\/."},{"key":"16_CR40","first-page":"673","volume":"88","author":"M. Wirsing","year":"1980","unstructured":"M. Wirsing, M. Broy: Abstract data types as lattices of finitely generated models. 9th MFCS, LNCS 88, 673\u2013685, \/1980\/.","journal-title":"9th MFCS, LNCS"}],"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_85.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:04:06Z","timestamp":1605643446000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10856-4_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108566","9783540387695"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-10856-4_85","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981]]}}}