{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:13:37Z","timestamp":1725455617677},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540537090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0020824","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:07:52Z","timestamp":1131862072000},"page":"499-510","source":"Crossref","is-referenced-by-count":1,"title":["An observational subset of first-order logic cannot specify the behaviour of a counter (extended abstract)"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Schoett","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"42_CR1","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Handbook of Mathematical Logic","year":"1977","unstructured":"Jon Barwise, editor. Handbook of Mathematical Logic. Number 90 in Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam et al., 1977."},{"key":"42_CR2","first-page":"237","volume":"17","author":"K. Bothe","year":"1981","unstructured":"Klaus Bothe. A comparative study of abstract data type concepts. Elektronische Informationsverarbeitung und Kybernetik, 17:237\u2013257, 1981.","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"key":"42_CR3","doi-asserted-by":"crossref","unstructured":"V. Giarratana, F. Gimona, and U. Montanari. Observability concepts in abstract data type specification. In A. Mazurkiewicz, editor, Mathematical Foundations of Computer Science 1976, number 45 in LNCS, pages 576\u2013587, Gda\u0144sk, Poland, 1976. Springer.","DOI":"10.1007\/3-540-07854-1_231"},{"key":"42_CR4","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. E. Hopcroft","year":"1979","unstructured":"John E. Hopcroft and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Mass. et al., 1979."},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"Marek Karpinski, editor. Foundations of Computation Theory, number 158 in LNCS, Borgholm, Sweden, 1983. Springer.","DOI":"10.1007\/3-540-12689-9"},{"key":"42_CR6","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"SE-1","author":"B. H. Liskov","year":"1975","unstructured":"Barbara H. Liskov and Stephen N. Zilles. Specification techniques for data abstractions. IEEE Transactions on Software Engineering, SE-1:7\u201319, 1975.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"42_CR7","volume-title":"Algorithmic Logic","author":"G. Mirkowska","year":"1987","unstructured":"G. Mirkowska and A. Salwicki. Algorithmic Logic. D. Reidel, Dordrecht et al., 1987. Also published by PWN\u2014Polish Scientific Publishers, Warsaw."},{"key":"42_CR8","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"D. L. Parnas","year":"1972","unstructured":"D. L. Parnas. A technique for software module specification with examples. Communications of the ACM, 15:330\u2013336, 1972.","journal-title":"Communications of the ACM"},{"key":"42_CR9","first-page":"301","volume-title":"Contributions to General Algebra 3. Proceedings ... 1984","author":"H. Reichel","year":"1985","unstructured":"Horst Reichel. Behavioural validity of conditional equations in abstract data types. In Contributions to General Algebra 3. Proceedings ... 1984, pages 301\u2013324. H\u00f6lder-Pichler-Tempsky, Vienna, 1985. Also published by B. G. Teubner, Stuttgart."},{"key":"42_CR10","unstructured":"Oliver Schoett. Ein Modulkonzept in der Theorie Abstrakter Datentypen. Bericht 81, Fachbereich Informatik, Universit\u00e4t Hamburg, August 1981."},{"key":"42_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0167-6423(90)90057-K","volume":"14","author":"O. Schoett","year":"1990","unstructured":"Oliver Schoett. Behavioural correctness of data representations. Science of Computer Programming, 14:43\u201357, 1990.","journal-title":"Science of Computer Programming"},{"key":"42_CR12","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D. Sannella","year":"1987","unstructured":"Donald Sannella and Andrzej Tarlecki. On observational equivalence and algebraic specification. Journal of Computer and System Sciences, 34:150\u2013178, 1987.","journal-title":"Journal of Computer and System Sciences"},{"key":"42_CR13","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. Sannella","year":"1988","unstructured":"Donald Sannella and Andrzej Tarlecki. Toward formal development of programs from algebraic specifications: Implementations revisited. Acta Informatica, 25:233\u2013281, 1988.","journal-title":"Acta Informatica"},{"key":"42_CR14","doi-asserted-by":"crossref","unstructured":"Donald Sannella and Martin Wirsing. A kernel language for algebraic specification and implementation. Internal Report CSR-131-83, Department of Computer Science, University of Edinburgh, September 1983. Extended Abstract in [Kar83], p. 413\u2013427.","DOI":"10.1007\/3-540-12689-9_122"},{"key":"42_CR15","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J. W. Thatcher","year":"1982","unstructured":"J. W. Thatcher, E. G. Wagner, and J. B. Wright. Data type specification: Parameterization and the power of specification techniques. ACM Transactions on Programming Languages and Systems, 4:711\u2013732, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","STACS 91"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020824.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:45:16Z","timestamp":1607550316000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020824"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540537090"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0020824","relation":{},"subject":[]}}