{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:23:49Z","timestamp":1725567829999},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678984"},{"type":"electronic","value":"9783540446163"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-44616-3_21","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T10:09:44Z","timestamp":1287050984000},"page":"366-382","source":"Crossref","is-referenced-by-count":5,"title":["Relating Abstract Datatypes and Z-Schemata"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Baumeister","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1007\/3-540-59293-8_233","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"H. Baumeister","year":"1995","unstructured":"Baumeister, H.: Relations as abstract datatypes: An institution to specify relations between algebras. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915, pp. 756\u2013771. Springer, Heidelberg (1995)"},{"key":"21_CR2","unstructured":"Baumeister, H.: Using algebraic specification languages for model-oriented specifications. Technical Report MPI-I-96-2-003, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany (February 1996)"},{"key":"21_CR3","unstructured":"Baumeister, H.: Relations between Abstract Datatypes modeled as Abstract Datatypes. PhD thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken (May 1999)"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language (February 1980)","DOI":"10.1007\/3-540-10007-5_41"},{"key":"21_CR5","first-page":"162","volume":"53","author":"H. Ehrig","year":"1994","unstructured":"Ehrig, H., Orejas, F.: Dynamic abstract data types, an informal proposal. Bulletin of the EATCS\u00a053, 162\u2013169 (1994)","journal-title":"Bulletin of the EATCS"},{"issue":"1","key":"21_CR6","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"21_CR7","first-page":"264","volume":"43","author":"Y. Gurevich","year":"1991","unstructured":"Gurevich, Y.: Evolving algebras: An attempt to discover semantics. Bulletin of the EATCS\u00a043, 264\u2013284 (1991)","journal-title":"Bulletin of the EATCS"},{"issue":"2","key":"21_CR8","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S0304-3975(96)00162-4","volume":"173","author":"R. Hennicker","year":"1996","unstructured":"Hennicker, R., Wirsing, M., Bidoit, M.: Proof systems for structured specifications with observability operators. Theoretical Computer Science\u00a0173(2), 393\u2013443 (1996)","journal-title":"Theoretical Computer Science"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-44616-3_15","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2000","unstructured":"Mossakowski, T.: Specifications in an arbitrary institution with symbols. In: Bert, D., Choppy, C. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 252\u2013270. Springer, Heidelberg (2000)"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030591","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"P.D. Mosses","year":"1997","unstructured":"Mosses, P.D.: CoFI: The common framework initiative for algebraic specification and development. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214. Springer, Heidelberg (1997)"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/3-540-12689-9_122","volume-title":"Foundations of Computation Theory","author":"D. Sannella","year":"1983","unstructured":"Sannella, D., Wirsing, M.: A kernel language for algebraic specification and implementation. In: Karpinski, M. (ed.) FCT 1983. LNCS, vol.\u00a0158, pp. 413\u2013427. Springer, Berlin (1983)"},{"key":"21_CR12","unstructured":"Spivey, J.M.: Understanding Z: A Specification Language and its Formal Semantics, Cambridge tracts in theoretical computer science, vol. 3. Cambridge Univ. Press, Cambridge, GB, repr. (1992) edn. (1988)"},{"key":"21_CR13","unstructured":"Z notation, final committee draft, cd 13568.2, August 24 (1999), Available at \n http:\/\/web.comlab.ox.ac.uk\/oucl\/research\/groups\/zstandards\/index.html"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44616-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T18:01:12Z","timestamp":1675706472000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-44616-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678984","9783540446163"],"references-count":13,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-540-44616-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}
