{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T16:49:56Z","timestamp":1772729396741,"version":"3.50.1"},"reference-count":64,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[1995,8,1]],"date-time":"1995-08-01T00:00:00Z","timestamp":807235200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1995,8]]},"DOI":"10.1007\/bf01178658","type":"journal-article","created":{"date-parts":[[2005,2,17]],"date-time":"2005-02-17T19:41:53Z","timestamp":1108669313000},"page":"705-778","source":"Crossref","is-referenced-by-count":47,"title":["Specification and verification of object-oriented programs using supertype abstraction"],"prefix":"10.1007","volume":"32","author":[{"given":"Gary T.","family":"Leavens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William E.","family":"Weihl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01178658_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/3-540-47891-4_22","volume-title":"ECOOP '87, European Conference on Object-Oriented Programming, Paris, France","author":"P. America","year":"1987","unstructured":"America, P.: Inheritance and subtyping in a parallel object-oriented language. In: Bezivin, J. et al. (eds) ECOOP '87, European Conference on Object-Oriented Programming, Paris, France, pages 234\u2013242, New York, N.Y., 1987. Springer, Lecture Notes in Computer Science, Vol. 276"},{"key":"BF01178658_CR2","first-page":"60","volume-title":"Foundations of Object-Oriented Languages, REX School\/Workshop, Noordwijkerhout, The Netherlands, May\/June 1990","author":"P. America","year":"1991","unstructured":"America, P.: Designing an object-oriented programming language with behavioural subtyping. In: de Bakker, J. W., de Roever, W. P., Rozenberg, G. (eds) Foundations of Object-Oriented Languages, REX School\/Workshop, Noordwijkerhout, The Netherlands, May\/June 1990, volume 489 of Lecture Notes in Computer Science, pages 60\u201390. Springer, New York, N.Y., 1991"},{"key":"BF01178658_CR3","unstructured":"America, P., de Boer, F.: A sound and complete proof theory for SPOOL. Technical Report 505, Philips Research Laboratories, Nederlandse Philips Bedrijven B. V., 1990"},{"issue":"1","key":"BF01178658_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(86)90040-X","volume":"45","author":"M. Broy","year":"1986","unstructured":"Broy, M.: A theory for nondeterminism, parallelism, communication, and concurrency. Theoretical Computer Science 45(1):1\u201361, 1986","journal-title":"Theoretical Computer Science"},{"key":"BF01178658_CR5","doi-asserted-by":"crossref","unstructured":"Bruce, K. B., Longo, G.: A modest model of records, inheritance, and bounded quantification. In Gurevich, Y. (ed.) Third Annual Symposium on Logic in Computer Science, pages 38\u201351. IEEE, 1988","DOI":"10.1109\/LICS.1988.5099"},{"key":"BF01178658_CR6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/101620.101625","volume-title":"Advances in Database Programming Languages","author":"K. B. Bruce","year":"1990","unstructured":"Bruce, K. B., Wegner, P.: An algebraic model of subtype and inheritance. In: Bancilhon, F., Buneman, P. (eds) Advances in Database Programming Languages, pages 75\u201396. Addison-Wesley, Reading, Mass., 1990"},{"key":"BF01178658_CR7","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/978-94-009-7893-5_11","volume-title":"Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School directed by F. L. Bauer, E. W. Dijkstra, C. A. R. Hoare, volume 91 of series C","author":"R. M. Burstall","year":"1982","unstructured":"Burstall, R. M., Goguen, J. A.: Algebras, theories and freeness: An introduction for computer scientists. In: Broy, M., Schmidt, G. (eds) Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School directed by F. L. Bauer, E. W. Dijkstra, C. A. R. Hoare, volume 91 of series C, pages 329\u2013348. D. Reidel, Dordrecht, Holland, 1982"},{"key":"BF01178658_CR8","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume-title":"Semantics of Data Types: International Symposium, Sophia-Antipolis, France","author":"L. Cardelli","year":"1984","unstructured":"Cardelli, L.: A semantics of multiple inheritance. In: G. Kahn, D. B. M., Plotkin, G. (eds) Semantics of Data Types: International Symposium, Sophia-Antipolis, France, volume 173 of Lecture Notes in Computer Science, pages 51\u201366. Springer, New York, N.Y., 1984 A revised version of this paper appears in: Information and Computation,76, 138\u2013164, 1988"},{"key":"BF01178658_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Structural subtyping and the notion of power type. In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, Calif., pages 70\u201379. ACM, 1988","DOI":"10.1145\/73560.73566"},{"issue":"4","key":"BF01178658_CR10","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On understanding types, data abstraction and polymorphism. ACM Computing Surveys17(4):471\u2013522, 1985","journal-title":"ACM Computing Surveys"},{"key":"BF01178658_CR11","unstructured":"Chen, J.: The Larch\/Generic interface language. Technical report, Massachusetts Institute of Technology, EECS department, 1989. The author's Bachelor's thesis. Available from John Guttag at MIT (guttag@lcs.mit.edu)"},{"key":"BF01178658_CR12","series-title":"Technical Report 91-15","volume-title":"A specification language for Smalltalk","author":"Y. Larch\/Smalltalk Cheon","year":"1991","unstructured":"Cheon, Y. Larch\/Smalltalk: A specification language for Smalltalk. Technical Report 91-15, Department of Computer Science, Iowa State University, Ames, IA, 1991. Available by anonymous ftp from ftp.cs.iastate.edu, and by e-mail from almanac@cs.iastate.edu"},{"key":"BF01178658_CR13","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"S. A. Cook","year":"1978","unstructured":"Cook, S. A.: Soundness and completeness of an axiom system for program verification. SIAM Journal on Computing7:70\u201390, 1978","journal-title":"SIAM Journal on Computing"},{"key":"BF01178658_CR14","first-page":"151","volume-title":"Foundations of Object-Oriented Languages, REX School\/Workshop, Noordwijkerhout, The Netherlands, May\/June 1990","author":"W. R. Cook","year":"1991","unstructured":"Cook, W. R.: Object-oriented programming versus abstract data types. In: de Bakker, J. W., de Roever, W. P., Rozenberg, G. (eds) Foundations of Object-Oriented Languages, REX School\/Workshop, Noordwijkerhout, The Netherlands, May\/June 1990, volume 489 of Lecture Notes in Computer Science, pages 151\u2013178. Springer, New York, N.Y., 1991"},{"key":"BF01178658_CR15","first-page":"125","volume-title":"Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California","author":"W. R. Cook","year":"1989","unstructured":"Cook, W. R., Hill, W. L., Canning, P. S.: Inheritance is not subtyping. In: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, pages 125\u2013135, 1990. Also STL-89-17, Software Technology Laboratory, Hewlett-Packard Laboratories, Palo Alto, Calif., July 1989"},{"key":"BF01178658_CR16","volume-title":"Subtyping among mutable types in object-oriented programming languages","author":"K. K. Dhara","year":"1992","unstructured":"Dhara, K. K.: Subtyping among mutable types in object-oriented programming languages. Master's thesis, Iowa State University, Department of Computer Science, Ames, Iowa, 1992"},{"key":"BF01178658_CR17","series-title":"Technical Report 92-36","volume-title":"Subtyping for mutable types in object-oriented programming languages","author":"K. K. Dhara","year":"1992","unstructured":"Dhara, K. K., Leavens, G. T.: Subtyping for mutable types in object-oriented programming languages Technical Report 92-36, Deparement of Computer Science, Iowa State University, Ames, Iowa, 50011, 1992. Available by anonymous ftp from ftp.cs.iastate.edu, and by e-mail from almanac@cs.iastate.edu"},{"key":"BF01178658_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science. Springer, New York, N.Y., 1985"},{"key":"BF01178658_CR19","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"1972","unstructured":"Enderton, H. B.: A Mathematical Introduction to Logic. Academic Press, Inc., Orlando, Florida, 1972."},{"issue":"5","key":"BF01178658_CR20","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/TSE.1984.5010277","volume":"10","author":"J. A. Goguen","year":"1984","unstructured":"Goguen, J. A.: Parameterized programming. IEEE Transactions on Software Engineering, SE10(5):528\u2013543, 1984","journal-title":"IEEE Transactions on Software Engineering, SE"},{"key":"BF01178658_CR21","unstructured":"Goguen, J. A., Meseguer, J.: Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems. Technical Report CSLI-87-92, Center for the Study of Language and Information, March 1987. Appears in Second Annual Symposium on Logic in Computer Science, Ithaca, NY, 1987, pages 18-29"},{"key":"BF01178658_CR22","volume-title":"Smalltalk-80, The Language and its Implementation","author":"A. Goldberg","year":"1983","unstructured":"Goldberg, A., Robson, D.: Smalltalk-80, The Language and its Implementation. Addison-Wesley Publishing Co., Reading, Mass., 1983"},{"key":"BF01178658_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gratzer","year":"1979","unstructured":"Gratzer, G.: Universal Algebra. Springer, New York, N.Y., second edition, 1979","edition":"second edition"},{"key":"BF01178658_CR24","series-title":"Technical Report","volume-title":"Larch in five easy pieces","author":"J. V. Guttag","year":"1985","unstructured":"Guttag, J. V., Horning, J. J., Wing, J. M.: Larch in five easy pieces. Technical Report 5, Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, July 1985. Order from src-report@src.dec.com"},{"issue":"1","key":"BF01178658_CR25","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/TSE.1980.230209","volume":"6","author":"J. Guttag","year":"1980","unstructured":"Guttag, J.: Notes on type abstractions (version 2). IEEE Transactions of Software Engineering, SE6(1):13\u201323, 1980. Version 1 in Proceedings Specifications of Reliable Software, Cambridge, Mass., IEEE, April, 1979","journal-title":"IEEE Transactions of Software Engineering, SE"},{"key":"BF01178658_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specification","author":"J. V. Guttag","year":"1993","unstructured":"Guttag, J. V., Horning, J. J., Garland, S., Jones, K., Modet, A., Wing, J.: Larch: Languages and Tools for Formal Specification. Springer, New York, N.Y., 1993"},{"key":"BF01178658_CR27","series-title":"Technical Report","volume-title":"Report on the Larch Shared Language: Version 2.3","author":"J. V. Guttag","year":"1990","unstructured":"Guttag, J. V., Horning, J. J., Modet, A.: Report on the Larch Shared Language: Version 2.3. Technical Report 58, Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, 1990. Order from src-report@src.dec.com"},{"key":"BF01178658_CR28","doi-asserted-by":"crossref","unstructured":"Guttag, J. V., Horning, J. J., Wing, J. M.: The Larch family of specification languages. IEEE Software,2(4), 1985","DOI":"10.1109\/MS.1985.231756"},{"key":"BF01178658_CR29","first-page":"83","volume-title":"Structured Programming","author":"C. A. R. Hoare","year":"1972","unstructured":"Hoare, C. A. R.: Notes on data structuring. In: Ole-J. Dahl, E. D., Hoare, C. A. R. (eds) Structured Programming, pages 83\u2013174. Academic Press, Inc., New York, N.Y., 1972"},{"issue":"2","key":"BF01178658_CR30","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1145\/63264.63265","volume":"11","author":"W. R. LaLonde","year":"1989","unstructured":"LaLonde, W. R.: Designing families of data types using exemplars. ACM Transactions on Programming Languages and Systems11(2):212\u2013248, 1989","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"11","key":"BF01178658_CR31","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/960112.28729","volume":"21","author":"W. R. LaLonde","year":"1986","unstructured":"LaLonde, W. R., Thomas, D. A., Pugh, J. R.: An exemplar based Smalltalk. ACM SIGPLAN Notices,21(11):322\u2013330, 1986. OOPSLA '86 Conference Proceedings, Norman Meyrowitz (ed), 1986, Portland, Oregon","journal-title":"ACM SIGPLAN Notices"},{"issue":"10","key":"BF01178658_CR32","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/167962.165891","volume":"28","author":"J. Lamping","year":"1993","unstructured":"Lamping, J.: Typing the specialization interface. ACM SIGPLAN Notices28(10):201\u2013214, 1993. OOPSLA '93 Proceedings, Andreas Paepcke (ed)","journal-title":"ACM SIGPLAN Notices"},{"issue":"1","key":"BF01178658_CR33","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/63238.63240","volume":"32","author":"L. Lamport","year":"1989","unstructured":"Lamport, L.: A simple approach to specifying concurrent systems. Communications of the ACM32(1):32\u201345, 1989","journal-title":"Communications of the ACM"},{"key":"BF01178658_CR34","series-title":"Technical Report 90-09","volume-title":"Modular verification of object-oriented programs with subtypes","author":"G. T. Leavens","year":"1990","unstructured":"Leavens, G. T.: Modular verification of object-oriented programs with subtypes. Technical Report 90-09, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, 1990. Available by anonymous ftp from ftp.cs.iastate.edu, and by e-mail from almanac@cs.iastate.edu"},{"issue":"4","key":"BF01178658_CR35","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/52.300040","volume":"8","author":"G. T. Leavens","year":"1991","unstructured":"Leavens, G. T.: Modular specification and verification of object-oriented programs. IEEE Software8(4):72\u201380, 1991","journal-title":"IEEE Software"},{"key":"BF01178658_CR36","series-title":"Technical Report 91-14","first-page":"144","volume-title":"Typed homomorphic relations extended with subtypes","author":"G. T. Leavens","year":"1992","unstructured":"Leavens, G. T., Pigozzi, D.: Typed homomorphic relations extended with subtypes. Technical Report 91-14, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, 1991 Appears in the proceedings of Mathematical Foundations of Programming Semantics '91, Springer, Lecture Notes in Computer Science, volume 598, pages 144\u2013167, 1992"},{"key":"BF01178658_CR37","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-55511-0_7","volume-title":"Mathematical Foundations of Programming Semantics '91","author":"G. T. Leavens","year":"1992","unstructured":"Leavens, G. T., Pigozzi, D.: Typed homomorphic relations extended with subtypes. In: Brookes, S. (ed.) Mathematical Foundations of Programming Semantics '91, volume 598 of Lecture Notes in Computer Science, pages 144\u2013167. Springer, New York, N.Y., 1992"},{"issue":"10","key":"BF01178658_CR38","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1145\/97946.97970","volume":"25","author":"G. T. Leavens","year":"1990","unstructured":"Leavens, G. T., Weihl, W. E.: Reasoning about object-oriented programs that use subtypes (extended abstract). ACM SIGPLAN Notices,25(10):212\u2013223, 1990. OOPSLA ECOOP '90 Proceedings, N. Meyrowitz (ed)","journal-title":"ACM SIGPLAN Notices"},{"key":"BF01178658_CR39","series-title":"Technical Report 92-28d","volume-title":"Subtyping, modular specification, and modular verification for applicative object-oriented programs","author":"G. T. Leavens","year":"1994","unstructured":"Leavens, G. T., Weihl, W. E.: Subtyping, modular specification, and modular verification for applicative object-oriented programs. Technical Report 92-28d, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, 1994. Available by anonymous ftp from ftp.cs.iastate.edu, and by e-mail from almanac@cs.iastate.edu"},{"key":"BF01178658_CR40","doi-asserted-by":"crossref","unstructured":"Leavens, G. T.: Verifying object-oriented programs that use subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989. The author's Ph.D. thesis","DOI":"10.21236\/ADA209118"},{"issue":"11","key":"BF01178658_CR41","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/960112.28718","volume":"21","author":"H. Lieberman","year":"1986","unstructured":"Lieberman, H.: Using prototypical objects to implement shared behavior in object oriented systems. ACM SIGPLAN Notices21(11):214\u2013223, 1986. OOPSLA '86 Conference Proceedings, Norman Meyrowitz (ed), 1986, Portland, Oregon","journal-title":"ACM SIGPLAN Notices"},{"issue":"5","key":"BF01178658_CR42","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/62139.62141","volume":"23","author":"B. Liskov","year":"1988","unstructured":"Liskov, B.: Data abstraction and hierarchy. ACM SIGPLAN Notices23(5):17\u201334, 1988. Revised version of the keynote address given at OOPSLA '87","journal-title":"ACM SIGPLAN Notices"},{"key":"BF01178658_CR43","volume-title":"Abstraction and Specification in Program Development","author":"B. Liskov","year":"1986","unstructured":"Liskov, B., Guttag, J.: Abstraction and Specification in Program Development. The MIT Press, Cambridge, Mass., 1986"},{"key":"BF01178658_CR44","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/3-540-47910-4_8","volume-title":"ECOOP '93-Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany","author":"B. Liskov","year":"1993","unstructured":"Liskov, B., Wing, J. M.: A new definition of the subtype relation. In Nierstrasz, O. M. (ed.) ECOOP '93-Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, volume 707 of Lecture Notes in Computer Science, pages 118\u2013141. Springer, New York, N.Y., 1993"},{"issue":"10","key":"BF01178658_CR45","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/167962.165863","volume":"28","author":"B. Liskov","year":"1993","unstructured":"Liskov, B., Wing, J. M.: Specifications and their use in defining subtypes. ACM SIGPLAN Notices28(10):16\u201328, 1993. OOPSLA '93 Proceedings, Andreas Paepcke (ed)","journal-title":"ACM SIGPLAN Notices"},{"key":"BF01178658_CR46","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-96753-4","volume-title":"The Foundations of Program Verification","author":"J. Loeckx","year":"1987","unstructured":"Loeckx, J., Sieber, K.: The Foundations of Program Verification (Second edition). John Wiley and Sons, New York, N.Y., 1987","edition":"Second edition"},{"key":"BF01178658_CR47","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object-oriented Software Construction. Prentice Hall, New York, N.Y., 1988"},{"key":"BF01178658_CR48","volume-title":"Eiffel: The Language. Object-Oriented Series","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Object-Oriented Series. Prentice Hall, New York, N.Y., 1992"},{"key":"BF01178658_CR49","doi-asserted-by":"crossref","unstructured":"Mitchell, J. C.: Representation independence and data abstraction (preliminary version). In: Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, pages 263\u2013276. ACM, January 1986","DOI":"10.1145\/512644.512669"},{"key":"BF01178658_CR50","unstructured":"Mitchell, J. C.: Lambda Calculus Models of Typed Programming Languages. PhD thesis, Massachusetts Institute of Technology, August 1984"},{"issue":"16","key":"BF01178658_CR51","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1007\/BF00263649","volume":"22","author":"T. Nipkow","year":"1986","unstructured":"Nipkow, T.: Non-deterministic data types: Models and implementations. Acta Informatica22(16):629\u2013661, 1986","journal-title":"Acta Informatica"},{"key":"BF01178658_CR52","unstructured":"Nipkow, T.: Behavioural Implementation Concepts for Nondeterministic Data Types. PhD thesis, University of Manchester, May 1987"},{"key":"BF01178658_CR53","doi-asserted-by":"crossref","unstructured":"Reynolds, J. C.: Using category theory to design implicit conversions and generic operators. In: Jones, N. D. (ed) Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, volume 94 of Lecture Notes in Computer Science, pages 211\u2013258. Springer, 1980","DOI":"10.1007\/3-540-10250-7_24"},{"key":"BF01178658_CR54","first-page":"97","volume-title":"Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '85)","author":"J. C. Reynolds","year":"1985","unstructured":"Reynolds, J. C.: Three approaches to type structure. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '85), Volume 185 of Lecture Notes in Computer Science, pages 97\u2013138. Springer, New York, N.Y., 1985"},{"issue":"11","key":"BF01178658_CR55","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/960112.28699","volume":"21","author":"C. Schaffert","year":"1986","unstructured":"Schaffert, C., Cooper, T., Bullis, B., Kilian, M., Wilpolt, C.: An introduction to Trellis\/Owl. ACM SIGPLAN Notices21(11):9\u201316, 1986. OOPSLA '86 Conference Proceedings, Norma Meyrowitz (ed), 1986, Portland, Oregon","journal-title":"ACM SIGPLAN Notices"},{"key":"BF01178658_CR56","volume-title":"Denotational Semantics: A Methodology for Language Development","author":"D. A. Schmidt","year":"1986","unstructured":"Schmidt, D. A.: Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc., Boston, Mass., 1986"},{"issue":"1","key":"BF01178658_CR57","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0167-6423(90)90057-K","volume":"14","author":"O. Schoett","year":"1990","unstructured":"Schoett, O.: Behavioural correctness of data representations. Science of Computer Programming14(1):43\u201357, 1990","journal-title":"Science of Computer Programming"},{"issue":"11","key":"BF01178658_CR58","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/960112.28702","volume":"21","author":"A. Snyder","year":"1986","unstructured":"Snyder, A.: Encapsulation and inheritance in object-oriented programming languages. ACM SIGPLAN Notices21(11):38\u201345, 1986. OOPSLA '86 Conference Proceedings, Norman Meyrowitz (ed), September 1986, Portland, Oregon","journal-title":"ACM SIGPLAN Notices"},{"issue":"2\/3","key":"BF01178658_CR59","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0019-9958(85)80001-2","volume":"65","author":"R. Statman","year":"1985","unstructured":"Statman, R.: Logical relations and the typed \u03bb-calculus. Information and Control65(2\/3):85\u201397, 1985","journal-title":"Information and Control"},{"key":"BF01178658_CR60","first-page":"32","volume-title":"Object-Oriented Concepts, Databases, and Applications, chapter 3","author":"L. A. Stein","year":"1989","unstructured":"Stein, L. A., Lieberman, H., Ungar, D.: A shared view of sharing: The treaty of Orlando. In: Kim, W., Lochovsky, F. H. (eds) Object-Oriented Concepts, Databases, and Applications, chapter 3, pages 32\u201348. Addison-Wesley Publishing Co., Reading, Mass., 1989"},{"key":"BF01178658_CR61","volume-title":"An Object-Oriented Refinement Calculus with Modular Reasoning","author":"M. Utting","year":"1992","unstructured":"Utting, M.: An Object-Oriented Refinement Calculus with Modular Reasoning. PhD thesis, University of New South Wales, Kensington, Australia, 1992. Draft of February 1992 obtained from the Author"},{"key":"BF01178658_CR62","first-page":"344","volume-title":"Mathematics of Program Construction, Second International Conference, Oxford, U.K.","author":"M. Utting","year":"1992","unstructured":"Utting, M., Robinson, K.: Modular reasoning in an object-oriented refinement calculus. In: Bird, R. S., Morgan, C. C., Woodcock, J. C. P. (eds) Mathematics of Program Construction, Second International Conference, Oxford, U.K., volume 669 of Lecture Notes in Computer Science, pages 344\u2013367. Springer, New York, N.Y., 1992"},{"issue":"1","key":"BF01178658_CR63","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/9758.10500","volume":"9","author":"J. M. Wing","year":"1987","unstructured":"Wing, J. M.: Writing Larch interface language specifications. ACM Transactions on Programming Languages and Systems9(1):1\u201324, 1987","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF01178658_CR64","unstructured":"Wing, J. M.: A two-tiered approach to specifying programs. Technical Report TR-299, Massachusetts Institute of Technology, Laboratory for Computer Science, 1983"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178658.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01178658\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T06:10:21Z","timestamp":1683007821000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01178658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,8]]},"references-count":64,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1995,8]]}},"alternative-id":["BF01178658"],"URL":"https:\/\/doi.org\/10.1007\/bf01178658","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,8]]}}}