{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T11:40:05Z","timestamp":1682768405770},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1988,2,1]],"date-time":"1988-02-01T00:00:00Z","timestamp":570672000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1988,2]]},"DOI":"10.1007\/bf00263582","type":"journal-article","created":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T20:48:04Z","timestamp":1096318084000},"page":"111-153","source":"Crossref","is-referenced-by-count":6,"title":["Crypt-equivalent algebraic specifications"],"prefix":"10.1007","volume":"25","author":[{"given":"F. L.","family":"Bauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1988,2,1]]},"reference":[{"key":"BF00263582_CR1","volume-title":"Handbook of Mathematical Logic","year":"1977","unstructured":"Barwise, J., (ed.): Handbook of Mathematical Logic Amsterdam: North-Holland 1977"},{"key":"BF00263582_CR2","unstructured":"Bauer, F.L.: Lecture Notes on Algorithmic Languages, Technical University Munich, July 1977"},{"key":"BF00263582_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61807-9","volume-title":"Algorithmic Language and Program Development","author":"F.L. Bauer","year":"1982","unstructured":"Bauer, F.L., W\u00f6ssner, H.: Algorithmic Language and Program Development. Berlin, Heidelberg, New York: Springer 1982"},{"key":"BF00263582_CR4","series-title":"Lect. Notes Comput. Sci. Vol. 118","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/3-540-10856-4_85","volume-title":"Proc. 10th Int. Symp. on Mathematical Foundations of Computer Science, Strbske Pleso, Czechoslovakia","author":"J.A. Bergstra","year":"1981","unstructured":"Bergstra, J.A., Broy, M., Tucker, J.V., Wirsing, M.: On the power of algebraic specifications. Proc. 10th Int. Symp. on Mathematical Foundations of Computer Science, Strbske Pleso, Czechoslovakia. Lect. Notes Comput. Sci. Vol. 118, pp. 193\u2013204 Berlin, Heidelberg, New York: Springer 1981"},{"key":"BF00263582_CR5","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/0020-0190(82)90091-6","volume":"14","author":"J.A. Bergstra","year":"1982","unstructured":"Bergstra, J.A., Meyer, J.-J.C.: A simple transfer lemma for algebraic specification. Inf. Proc. Letters 14, 80\u201385 (1982)","journal-title":"Inf. Proc. Letters"},{"key":"BF00263582_CR6","unstructured":"Bergstra, J.A., Tucker, J.V.: Algebraic specification of computable and semicomputable data structures. Afdeling Informaticae Amsterdam, IW 115\/79"},{"key":"BF00263582_CR7","first-page":"47","volume":"9","author":"A. Bertoni","year":"1979","unstructured":"Bertoni, A., Mauri, G., Miglioli, P.A., Wirsing, M.: On different approaches to abstract data types and the existence of recursive models. Bulletin EATCS 9, 47\u201357 (1979)","journal-title":"Bulletin EATCS"},{"key":"BF00263582_CR8","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1940","unstructured":"Birkhoff, G.: Lattice Theory. New York: Amer. Math. Soc. 1940; third edition, 1967"},{"key":"BF00263582_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0167-6423(86)90004-3","volume":"7","author":"M. Broy","year":"1986","unstructured":"Broy, M., M\u00f6ller, B., Pepper, P., Wirsing, M.: Algebraic implementations preserve program correctness. Sci. Comput. Programming 7, 35\u201353 (1986)","journal-title":"Sci. Comput. Programming"},{"key":"BF00263582_CR10","series-title":"Lect. Notes Comput. Sci. Vol. 86","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Proc. of Advanced Course on Abstract Software specifications, Copenhagen","author":"R.M. Burstall","year":"1980","unstructured":"Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software specifications, Copenhagen. Lect. Notes Comput. Sci. Vol. 86, pp. 292\u2013332 Berlin, Heidelberg, New York Springer 1980"},{"key":"BF00263582_CR11","volume-title":"Model Theory. Studies in Logic and Foundations of Mathematics, Vol. 73","author":"C.C. Chang","year":"1974","unstructured":"Chang, C.C., Keisler, H.J. Model Theory. Studies in Logic and Foundations of Mathematics, Vol. 73, Amsterdam: North-Holland 1974"},{"key":"BF00263582_CR12","volume-title":"Lect. Notes Comput. Sci. Vol. 183","author":"F.L. Bauer","year":"1985","unstructured":"Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Guatz, R., Hangel, E., Hesse, W., Krieg-Br\u00fcckner, B., Laut, A., Matzner, T., M\u00f6ller, B., Nickl, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., W\u00f6ssner, H. (the CIP-Language Group): The Munich project CIP, Vol. 1: The wide spectrum of CIP-L. Lect. Notes Comput. Sci. Vol. 183. Berlin, Heidelberg, New York: Springer 1985"},{"key":"BF00263582_CR13","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.-D. Ehrich","year":"1982","unstructured":"Ehrich, H.-D.: On the theory of specification, implementation and parameterization of abstract data types. JACM 29, 206\u2013227 (1982)","journal-title":"JACM"},{"key":"BF00263582_CR14","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S0304-3975(82)80001-7","volume":"20","author":"H. Ehrig","year":"1982","unstructured":"Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P.: Algebraic implementation of abstract data types. Theoret. Comput. Sci. 20, 209\u2013263 (1982)","journal-title":"Theoret. Comput. Sci."},{"key":"BF00263582_CR15","unstructured":"Goguen, J.A.: Abstract errors for abstract data types. Proc. IFIP Working Conf. on Formal Description of Programming Concepts, St. Andrews, 1977"},{"key":"BF00263582_CR16","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/947864.947865","volume":"16","author":"J.A. Goguen","year":"1981","unstructured":"Goguen, J.A., Meseguer, J.: Completeness of many-sorted equational logic. SIGPLAN Notices 16, 24\u201332 (1981)","journal-title":"SIGPLAN Notices"},{"issue":"1","key":"BF00263582_CR17","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"Goguen, J.A. Thatcher,J.W., Wagner, E.G., Wright, J.B.: Initial algebra semantics and continuous algebras. IBM Research Report RC-5701, 1975; (also) JACM 24, 68\u201375 1975","journal-title":"Journal of the ACM"},{"key":"BF00263582_CR18","series-title":"IBM research report RC 6487","first-page":"80","volume-title":"Current Trends in Programming Methodology, Vol. 4: 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. IBM research report RC 6487. Also In: R.T. Yeh (ed.) Current Trends in Programming Methodology, Vol. 4: Data Structuring, pp. 80\u2013149 Englewoods Cliffs., NY: Prentice Hall 1978"},{"key":"BF00263582_CR19","doi-asserted-by":"crossref","unstructured":"Guttag, J.V., Horowitz, E., Musser, D.R.: Abstract data types and software validation. USC Res. Rep. ISI\/RR-76-48, 1976","DOI":"10.21236\/ADA029896"},{"key":"BF00263582_CR20","doi-asserted-by":"crossref","first-page":"215","DOI":"10.5486\/PMD.1952.2.3-4.10","volume":"2","author":"G. Higman","year":"1951\/52","unstructured":"Higman, G., Neumann, B.H.: Groups as groupoids with one law. Publicationes Mathematicae 2, 215\u2013221 (1951\/52)","journal-title":"Publicationes Mathematicae"},{"key":"BF00263582_CR21","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Inf. 1, 271\u2013281 (1972)","journal-title":"Acta Inf."},{"key":"BF00263582_CR22","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1515\/crll.1940.182.50","volume":"182","author":"P. Lorenzen","year":"1940","unstructured":"Lorenzen, P.: Ein vereinfachtes Axiomensystem f\u00fcr Gruppen. J. Reine Angew. Math. 182, 50 (1940)","journal-title":"J. Reine Angew. Math."},{"key":"BF00263582_CR23","volume-title":"Graduate Texts in Mathematics 26","author":"E.G. Manes","year":"1976","unstructured":"Manes, E.G.: Algebraic Theories. Graduate Texts in Mathematics 26. Berlin, Heidelberg, New York: Springer 1976"},{"key":"BF00263582_CR24","series-title":"Lect. Notes Comput. Sci. Vol. 107","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/3-540-10699-5_116","volume-title":"Proc. ICFPC, Peniscola, Spain","author":"F. Orejas","year":"1981","unstructured":"Orejas, F.: On the representation of data types. Proc. ICFPC, Peniscola, Spain. Lect. Notes Comput. Sci. Vol. 107. pp. 419\u2013431. Berlin, Heidelberg, New York: Springer 1981"},{"key":"BF00263582_CR25","series-title":"Lect. Notes Comput. Sci., Vol. 158","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/3-540-12689-9_116","volume-title":"Colloquium on Foundations of Computation Theory, Borgholm (Sweden) 1983","author":"F. Orejas","year":"1983","unstructured":"Orejas, F.: Characterizing composibility of abstract implementations. Colloquium on Foundations of Computation Theory, Borgholm (Sweden) 1983. Lect. Notes Comput. Sci., Vol. 158. pp. 335\u2013346 Berlin, Heidelberg, New York: Springer 1983"},{"key":"BF00263582_CR26","unstructured":"Orejas, F.: On implementability and computability of abstract data types. In: J. Demetrovics et al. (eds.) Algebra, Combinatorics and Logic in Computer Science, Colloquia Mathematica, Soc. Bolyai, Vol. 42. Amsterdam: North-Holland (in press)"},{"key":"BF00263582_CR27","first-page":"51","volume":"24","author":"P. Padawitz","year":"1984","unstructured":"Padawitz, P., Wirsing, M.: Completeness of many-sorted logic revisited. EATCS Bulletin 24, 51\u201364 (1984)","journal-title":"EATCS Bulletin"},{"key":"BF00263582_CR28","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/947835.947839","volume":"16","author":"J.-L. Remy","year":"1981","unstructured":"Remy, J.-L., Veloso, P.A.S.: An economical method for comparing data type specifications. SIGPLAN Notices 16, 39\u201342 (1981)","journal-title":"SIGPLAN Notices"},{"key":"BF00263582_CR29","doi-asserted-by":"crossref","unstructured":"Sannella, D.T., Wirsing, M.: Implementation of parameterised specifications. Report CSR-103-82, Dept, of Computer Science, Univ. of Edinburgh; extended abstract in: Proc. 9th Intl. Colloq. on Automata, Languages and Programming, Aarhus, Denmark. Lect. Notes Comput. Sci., Vol. 140 pp. 473\u2013488. Berlin, Heidelberg, New York: Springer 1982","DOI":"10.1007\/BFb0012793"},{"key":"BF00263582_CR30","volume-title":"Beweistheorie. Die Grundlagen der mathematischen Wissenschaften in Einzeldarstellungen","author":"K. Sch\u00fctte","year":"1960","unstructured":"Sch\u00fctte, K.: Beweistheorie. Die Grundlagen der mathematischen Wissenschaften in Einzeldarstellungen, Bd. 103. Berlin, Heidelberg, New York: Springer 1960"},{"key":"BF00263582_CR31","volume-title":"Mathematical Logic","author":"R. Shoenfield","year":"1967","unstructured":"Shoenfield, R.: Mathematical Logic. Reading MA: Addison-Wesley 1967"},{"key":"BF00263582_CR32","first-page":"37","volume":"40","author":"M.H. Stone","year":"1936","unstructured":"Stone, M.H.: The representation theorem for Boolean algebra. Trans. Am. Math. Soc. 40, 37\u2013111 (1936)","journal-title":"Trans. Am. Math. Soc."},{"key":"BF00263582_CR33","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0022-0000(79)90011-4","volume":"19","author":"M. Wand","year":"1981","unstructured":"Wand, M.: Final algebra semantics and data type extensions. J. Comput. Syst. Sci. 19, 27\u201344 (1981)","journal-title":"J. Comput. Syst. Sci."},{"key":"BF00263582_CR34","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1090\/S0002-9947-1930-1501550-7","volume":"32","author":"M. Ward","year":"1930","unstructured":"Ward, M.: Postulates for the inverse operation in a group. Trans. Amer. Soc. 32, 520\u2013526 (1930)","journal-title":"Trans. Amer. Soc."},{"key":"BF00263582_CR35","series-title":"Lect. Notes Comput. Sci. Vol. 88","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1007\/BFb0022542","volume-title":"9th MFCS, Rydzyna, Poland","author":"M. Wirsing","year":"1980","unstructured":"Wirsing, M., Broy, M.: Abstract data types as lattices of finitely generated models. In: P. Dembinski (ed.): 9th MFCS, Rydzyna, Poland. Lect. Notes Comput. Sci. Vol. 88. pp. 673\u2013685. Berlin, Heidelberg, New York: Springer 1980"},{"key":"BF00263582_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M.: On hierarchies of abstract data types. Acta Inf. 20, 1\u201333 (1983)","journal-title":"Acta Inf."},{"key":"BF00263582_CR37","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1090\/S0002-9904-1933-05738-5","volume":"39","author":"B.A. Bernstein","year":"1933","unstructured":"Bernstein, B.A.: Bull. Am. Math. Soc. 39, 783\u2013787 (1933)","journal-title":"Bull. Am. Math. Soc."},{"key":"BF00263582_CR38","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z.: Mathematical Theory of Computation. New York: McGraw-Hill 1974"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263582.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00263582\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263582","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263582.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T11:04:18Z","timestamp":1682766258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00263582"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,2]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1988,2]]}},"alternative-id":["BF00263582"],"URL":"https:\/\/doi.org\/10.1007\/bf00263582","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,2]]}}}