{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:18Z","timestamp":1725663738059},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525318"},{"type":"electronic","value":"9783540470144"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52531-9_129","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:34:56Z","timestamp":1330187696000},"page":"101-110","source":"Crossref","is-referenced-by-count":9,"title":["Context induction: A proof principle for behavioural abstractions"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"12_CR1","unstructured":"R. S. Boyer, J. S. Moore: A computational logic handbook. Academic Press (1988)."},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(84)90086-0","volume":"33","author":"M. Broy","year":"1984","unstructured":"M. Broy, C. Pair und M. Wirsing: A systematic study of models of abstract data types. Theoretical Computer Science 33, 139\u2013174, 1984.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"12_CR3","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0167-6423(86)90004-3","volume":"7","author":"M. Broy","year":"1986","unstructured":"M. Broy, B. M\u00f6ller, P. Pepper und M. Wirsing: Algebraic implementations preserve program correctness. Science of Computer Programming 7, 1, 35\u201354, 1986.","journal-title":"Science of Computer Programming"},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1093\/comjnl\/12.1.41","volume":"12","author":"R. M. Burstall","year":"1969","unstructured":"R. M. Burstall: Proving properties of programs by structural induction. Comp. Journal 12, 41\u201348, 1969.","journal-title":"Comp. Journal"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr: Fundamentals of algebraic specification 1. EATCS Monographs on Theor. Comp. Science, Vol. 6, Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(82)80001-7","volume":"20","author":"H. Ehrig","year":"1982","unstructured":"H. Ehrig, H.J. Kreowski, B. Mahr und P. Padawitz: Algebraic implementation of abstract data types. Theoretical Computer Science 20, 209\u2013263, 1982.","journal-title":"Theoretical Computer Science"},{"key":"12_CR7","first-page":"219","volume":"88","author":"S. J. Garland","year":"1988","unstructured":"S. J. Garland, J. V. Guttag: Inductive methods for reasoning about abstract data types. Proc. POPL'88, 219\u2013228, 1988.","journal-title":"Proc. POPL'"},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1007\/3-540-07854-1_231","volume":"45","author":"V. Giarratana","year":"1976","unstructured":"V. Giarratana, F. Gimona und U. Montanari: Observability concepts in abstract data type specification. In: A. Mazurkiewicz (ed.): Proc. MFCS'76, 5th Internat. Symp. on Mathematical Foundations of Comp. Science. Springer Lecture Notes in Computer Science 45, 576\u2013587, 1976.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"12_CR9","unstructured":"R. Hennicker: Beobachtungsorientierte Spezifikationen. Dissertation, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, 1988."},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BFb0028973","volume":"349","author":"R. Hennicker","year":"1989","unstructured":"R. Hennicker: Observational implementations. In: B. Monien, R. Cori (eds.): Proc. STACS'89, 6th Annual Symposium on Theoretical Aspects of Computer Science. Springer Lecture Notes in Computer Science 349, 59\u201371, 1989.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"R. Hennicker: Context induction: a proof principle for behavioural abstractions (long version). Techn. Berichte, Fakult\u00e4t f\u00fcr Math. und Informatik, Universit\u00e4t Passau, MIP-9001, 1990.","DOI":"10.1007\/3-540-52531-9_129"},{"issue":"1","key":"12_CR12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/357195.357202","volume":"5","author":"S. Kamin","year":"1983","unstructured":"S. Kamin: Final data types and their specification. ACM TOPLASS 5, 1, 97\u2013121, 1983.","journal-title":"ACM TOPLASS"},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-50325-0_10","volume":"332","author":"M. T. P. Nivela","year":"1987","unstructured":"M a P. Nivela, F. Orejas: Initial behaviour semantics for algebraic specifications. In: D.T. Sannella, A. Tarlecki (eds.): Proc. 5th Workshop on Algebraic Specifications of Abstract Data Types. Springer Lecture Notes in Computer Science 332, 184\u2013207, 1987.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"12_CR14","first-page":"107","volume":"5","author":"P. Pepper","year":"1982","unstructured":"P. Pepper, M. Broy, F. L. Bauer, H. Partsch, W. Dosch, M. Wirsing: Abstrakte Daten typen: Die algebraische Spezifikation von Rechenstrukturen. Informatik-Spektrum 5, 107\u2013119, 1982.","journal-title":"Informatik-Spektrum"},{"key":"12_CR15","unstructured":"H. Reichel: Initial restrictions of behaviour. IFIP Working Conference, The Role of Abstract Models in Information Processing, 1985."},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BFb0012793","volume":"140","author":"D.T. Sannella","year":"1982","unstructured":"D.T. Sannella, M. Wirsing: Implementation of parameterized specifications. In: M.Nielsen, E.M. Schmidt (eds.): Proc. ICALP'82, 9th Coll. on Automata, Languages and Programming. Springer Lecture Notes in Computer Science 140, 473\u2013488, 1982.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0022-0000(79)90011-4","volume":"19","author":"M. Wand","year":"1979","unstructured":"M. Wand: Final algebra semantics and data type extensions. Journal of Computer and System Sciences 19, 27\u201344, 1979.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Design and Implementation of Symbolic Computation Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52531-9_129.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:24:26Z","timestamp":1605630266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52531-9_129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525318","9783540470144"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-52531-9_129","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}