{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:31Z","timestamp":1725453991035},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000489","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"451-464","source":"Crossref","is-referenced-by-count":1,"title":["The hidden function question revisited"],"prefix":"10.1007","author":[{"given":"Arno","family":"Sch\u00f6negge","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"31_CR1","unstructured":"M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hu\\mann, D. Nazareth, F. Regensburger, and K. St\u00d8len. The requirement and design specification language SPECTRUM \u2014 an informal introduction, version 1.0. Technical Report TUM-I9311, Technische Universit\u00e4t M\u00fcnchen, 1993."},{"key":"31_CR2","first-page":"292","volume-title":"volume 86 of LNCS","author":"R.M. Burstall","year":"1980","unstructured":"R.M. Burstall and J. Goguen. The semantics of Clear, a specification language. In Proc. 1979 Copenhagen Winter School on Abstract Software Specification, volume 86 of LNCS, pages 292\u2013332. Springer, Berlin, 1980."},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"R. Bull and K. Segerberg. Basic Modal Logic, volume II of Handbook of Philosophical Logic, pages 1\u201388. D. Reidel Publishing Company, 1984.","DOI":"10.1007\/978-94-009-6259-0_1"},{"key":"31_CR4","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1016\/S0019-9958(82)80021-1","volume":"54","author":"J.A. Bergstra","year":"1982","unstructured":"J.A. Bergstra and J.V. Tucker. The completeness of the algebraic specification methods for computable data types. Information and Control, 54:186\u2013200, 1982.","journal-title":"Information and Control"},{"key":"31_CR5","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1137\/0212024","volume":"12","author":"J.A. Bergstra","year":"1983","unstructured":"J.A. Bergstra and J.V. Tucker. Initial and final algebra semantics for data type specifications: Two characterization theorems. SIAM J. Cornput., 12:366\u2013387, 1983.","journal-title":"SIAM J. Cornput."},{"key":"31_CR6","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0304-3975(87)90123-X","volume":"50","author":"J.A. Bergstra","year":"1987","unstructured":"J.A. Bergstra and J.V. Tucker. Algebraic specifications of computable and semicomputable data types. Theoret. Comput. Sci., 50:137\u2013181, 1987.","journal-title":"Theoret. Comput. Sci."},{"key":"31_CR7","first-page":"124","volume-title":"volume 393 of LNCS","author":"I. Cla\\en","year":"1989","unstructured":"I. Cla\\en. Revised ACT ONE: categorical constructions for an algebraic specification language. In Proc. Workshop on Categorical Methods in Computer Science with Aspects from Topology, Berlin, volume 393 of LNCS, pages 124\u2013141. Springer, Berlin, 1989."},{"key":"31_CR8","first-page":"320","volume-title":"volume 552 of LNCS","author":"O.-J. Dahl","year":"1991","unstructured":"O.-J. Dahl and O. Owe. Formal development with ABEL. In Proc. Workshop on Categorical Methods in Computer Science with Aspects from Topology, Berlin, volume 552 of LNCS, pages 320\u2013362. Springer, Berlin, 1991."},{"key":"31_CR9","volume-title":"volume 6 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1, Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985."},{"key":"31_CR10","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":"31_CR11","volume-title":"PhD thesis","author":"W. Fey","year":"1988","unstructured":"W. Fey. Pragmatics, Concepts, Syntax, Semantics, and Correctness Notions of ACT TWO: An Algebraic Module Specification and Interconnection Language. PhD thesis, Technische Universit\u00e4t Berlin, 1988."},{"key":"31_CR12","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fischer","year":"1979","unstructured":"M.J. Fischer and R.E. Ladner. Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, 18:194\u2013211, 1979.","journal-title":"Journal of Computer and System Sciences"},{"key":"31_CR13","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1006\/inco.1995.1100","volume":"120","author":"R. Fagin","year":"1995","unstructured":"R. Fagin, L. Stockmeyer, and M. Vardi. On monadic NP vs. monadic co-NP. Information and Computation, 120:78\u201392, 1995.","journal-title":"Information and Computation"},{"key":"31_CR14","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF00649988","volume":"1","author":"D. Gabbay","year":"1972","unstructured":"Dov Gabbay. A general filtration method for modal logics. Journal of Philosophical Logic, 1:29\u201334, 1972.","journal-title":"Journal of Philosophical Logic"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"H. Gaifman. On local and non-local properties. In J. Stern, editor, Proc. of the Herbrand Symposium, Logic Colloquium'81, pages 105\u2013135. North-Holland, 1982.","DOI":"10.1016\/S0049-237X(08)71879-2"},{"key":"31_CR16","first-page":"13","volume-title":"LNCS","author":"M.-C. Gaudel","year":"1992","unstructured":"M.-C. Gaudel. Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives. In STAGS'92, 9th Annual Symposium on Theoretical Aspects of Computer Science, volume 577 of LNCS, pages 13\u201318. Springer, Berlin, 1992."},{"key":"31_CR17","series-title":"volume 551 of LNCS","first-page":"389","volume-title":"VDM'91, Formal Software Development Methods","author":"C. George","year":"1991","unstructured":"C. George. The RAISE specification language: A tutorial. In S. Prehn and W.J. Toelenel, editors, VDM'91, Formal Software Development Methods, volume 551 of LNCS, pages 389\u2013405. Springer, Berlin, 1991."},{"key":"31_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specification","author":"J. Guttag","year":"1993","unstructured":"J. Guttag and J. Horning. Larch: Languages and Tools for Formal Specification. Springer, Berlin, 1993."},{"key":"31_CR19","first-page":"132","volume-title":"Symposium on the Theory of Models","author":"W. Hanf","year":"1965","unstructured":"W. Hanf. Model-theoretic methods in the study of elementary logic. In J. Addison, L. Henkin, and A. Tarski, editors, Symposium on the Theory of Models, pages 132\u2013145. North-Holland Publ. Co., Amsterdam, 1965."},{"key":"31_CR20","first-page":"37","volume":"12","author":"M.E. Majster","year":"1977","unstructured":"M.E. Majster. Limits of the \u2018algebraic\u2019 specification of abstract data types. In A CM SIGPLAN Notices, volume 12, pages 37\u201342, 1977.","journal-title":"A CM SIGPLAN Notices"},{"key":"31_CR21","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0304-3975(79)90059-8","volume":"8","author":"M.E. Majster","year":"1979","unstructured":"M.E. Majster. Data types, abstract data types and their specification problem. Theoret. Comput. Sci., 8:89\u2013127, 1979.","journal-title":"Theoret. Comput. Sci."},{"key":"31_CR22","unstructured":"J. Meseguer and J.A. Goguen. Initiality, induction, and computability. In M. Nivat and J. Reynolds, editors, Algebraic Methods in Semantics, pages 459\u2013541. Cambridge University Press, 1985."},{"key":"31_CR23","series-title":"volume 1214 of LNCS","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BFb0030591","volume-title":"TAPSOFT'97: Theory and Practice of Software Development","author":"P. Mosses","year":"1997","unstructured":"P. Mosses. CoFI: The Common Framework Initiative for algebraic specification and development. In TAPSOFT'97: Theory and Practice of Software Development, volume 1214 of LNCS, pages 115\u2013137. Springer, Berlin, 1997."},{"key":"31_CR24","volume-title":"Correctness of full first-order specifications","author":"W. Reif","year":"1992","unstructured":"W. Reif. Correctness of full first-order specifications. In 4th Conference on Software Engineering and Knowledge Engineering. Capri, Italy, IEEE Press, 1992."},{"key":"31_CR25","unstructured":"A. Sch\u00f6negge. An answer to the hidden function question for algebraic specification methods (abstract), 4th Workshop on Logic, Language, Information and Computation, Fortaleza, Brazil. Logic Journal of the Interest Group in Pure and Applied Logic, Oxford University Press, 1997."},{"key":"31_CR26","unstructured":"J.M. Spivey. The Z Notation \u2014 A Reference Manual. Prentice-Hall, 2nd edition, 1992."},{"key":"31_CR27","first-page":"413","volume-title":"volume 158 of LNCS","author":"D.T. Sannella","year":"1983","unstructured":"D.T. Sannella and M. Wirsing. A kernel language for algebraic specification and implementation. In Proc. 1983 International Conference on Foundations of Computation Theory, Borgholm, volume 158 of LNCS, pages 413\u2013427. Springer, Berlin, 1983."},{"key":"31_CR28","doi-asserted-by":"crossref","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. In ACM Transactions on Programming Languages and Systems, volume 4, pages 711\u2013732, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"31_CR29","doi-asserted-by":"crossref","unstructured":"J. van Benthem. Correspondence Theory, volume II of Handbook of Philosophical Logic, pages 167\u2013247. D. Reidel Publishing Company, 1984.","DOI":"10.1007\/978-94-009-6259-0_4"},{"key":"31_CR30","doi-asserted-by":"crossref","unstructured":"A. van Deursen, J. Heering, and P. Klint, editors. Language Prototyping, An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific Publishing Co., 1996.","DOI":"10.1142\/3163"},{"key":"31_CR31","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13, pages 675\u2013788. Elsevier Science Publishers B. V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000489","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T02:21:36Z","timestamp":1586485296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000489"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/bfb0000489","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}