{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,26]],"date-time":"2026-10-26T16:42:13Z","timestamp":1793032933602,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540678984","type":"print"},{"value":"9783540446163","type":"electronic"}],"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_5","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T14:09:44Z","timestamp":1287065384000},"page":"73-88","source":"Crossref","is-referenced-by-count":24,"title":["Towards an Evolutionary Formal Software-Development Using CASL"],"prefix":"10.1007","author":[{"given":"Serge","family":"Autexier","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dieter","family":"Hutter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Heiko","family":"Mantel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Axel","family":"Schairer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-48660-7_15","volume-title":"Automated Deduction - CADE-16","author":"S. Autexier","year":"1999","unstructured":"Autexier, S., Hutter, D., Mantel, H., Schairer, A.: System description: INKA 5.0 - a logic voyager. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol.\u00a01632, pp. 207\u2013211. Springer, Heidelberg (1999)"},{"key":"5_CR2","unstructured":"CoFI Language Design Task Group. The common algebraic specification language ( Casl) \u2013 summary, 1998. Version 1.0 and additional Note S-9 on Semantics, available from \n                      http:\/\/www.brics.dk\/Projects\/CoFI"},{"issue":"2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"Cerioli, M., Meseguer, J.: May I borrow your logic? Theoretical Computer Science\u00a0173(2), 311\u2013347 (1997)","journal-title":"Theoretical Computer Science"},{"key":"5_CR4","unstructured":"Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularization. In: Huet, G., Plotkin, G. (eds.) Workshop on Logical Frameworks (1991)"},{"issue":"2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S0304-3975(96)00162-4","volume":"173","author":"R. Hennicker","year":"1997","unstructured":"Hennicker, R., Wirsing, M., Bidoit, M.: Proof systems for structured specifications with observability operators. Theoretical Computer Science\u00a0173(2), 393\u2013443 (1997)","journal-title":"Theoretical Computer Science"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0036169","volume-title":"Fundamentals of Computation Theory","author":"R. Hennicker","year":"1997","unstructured":"Hennicker, R., Wirsing, M.: Proof systems for structured algebraic specifications: An overview. In: Chlebus, B.S., Czaja, L. (eds.) FCT 1997. LNCS, vol.\u00a01279. Springer, Heidelberg (1997)"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0168-0072(94)90009-4","volume":"67","author":"R. Harper","year":"1994","unstructured":"Harper, R., Sannella, D., Tarlecki, A.: Structured presentations and logic representations. Annals of Pure and Applied Logic\u00a067, 113\u2013160 (1994)","journal-title":"Annals of Pure and Applied Logic"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"1998","unstructured":"Mossakowski, T., Kolyang, Krieg-Br\u00fcckner, B.: Static semantic analysis and theorem proving for Casl. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376. Springer, Heidelberg (1998)"},{"issue":"2\/3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Specifications in an arbitrary institution. Information and Computation\u00a076(2\/3), 165\u2013210 (1988)","journal-title":"Information and Computation"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"D. Sannella","year":"1992","unstructured":"Sannella, D., Tarlecki, A.: Towards Formal development of programs from algebraic specifications: model-theoretic foundations. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623. Springer, Heidelberg (1992)"},{"issue":"6","key":"5_CR11","first-page":"523","volume":"1","author":"D. Hutter","year":"1996","unstructured":"Hutter, D., et al.: Verification support environment (VSE). Journal of High Integrity Systems\u00a01(6), 523\u2013531 (1996)","journal-title":"Journal of High Integrity Systems"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T10:20:47Z","timestamp":1674814847000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-44616-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678984","9783540446163"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44616-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}