{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:08:30Z","timestamp":1743095310449,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402534"},{"type":"electronic","value":"9783540448808"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44880-2_20","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"319-338","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Object Orientation without Extending Z"],"prefix":"10.1007","author":[{"given":"Mark","family":"Utting","sequence":"first","affiliation":[]},{"given":"Shaochun","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"20_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/BFb0057022","volume-title":"Proceedings ECOOP\u201991","author":"A. J. Alencar","year":"1991","unstructured":"Antonio J. Alencar and Joseph A. Goguen. OOZE: An object-oriented Z environment. In P. America, editor, Proceedings ECOOP\u201991, LNCS 512, pages 180\u2013199, Geneva, Switzerland, July 15\u201319 1991. Springer-Verlag."},{"key":"20_CR2","unstructured":"Maura Cerioli, Martin Gogolla, H\u00e9l\u00e8ne Kirchner, Bernd Krieg-Br\u00fcckner, Zhenyu Qian, and Markus Wolf (Eds.). Algebraic system specification and development: Survey and annotated bibliography \u2014 second edition-."},{"key":"20_CR3","series-title":"Technical Report","volume-title":"The Object-Z specification language: Version 1","author":"R. Duke","year":"1991","unstructured":"R. Duke, P. King, G. A. Rose, and G. Smith. The Object-Z specification language: Version 1. Technical Report 91-1, The University of Queensland, St. Lucia 4072, Australia, 1991."},{"key":"20_CR4","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, 1994."},{"key":"20_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-52513-0_16","volume-title":"VDM and Z \u2014 Formal Methods in Software Development","author":"J. A. Hall","year":"1990","unstructured":"J. A. Hall. Using Z as a specification calculus for object-oriented systems. In D. Bj\u00f8rner, C. A. R. Hoare, and H. Langmaack, editors, VDM and Z \u2014 Formal Methods in Software Development, volume 428 of LNCS, pages 290\u2013318. VDM-Europe, Springer-Verlag, 1990."},{"issue":"6","key":"20_CR6","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. H. Liskov","year":"1994","unstructured":"Barbara H. Liskov and Jeannette M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811\u20131841, November 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR7","series-title":"The Object-Oriented Series","volume-title":"Object-Oriented Software Construction, Second Edition","author":"B. Meyer","year":"1997","unstructured":"B. Meyer. Object-Oriented Software Construction, Second Edition. The Object-Oriented Series. Prentice-Hall, Englewood Cliffs (NJ), USA, 1997."},{"key":"20_CR8","series-title":"Technical Report","volume-title":"A type theory for software architectures","author":"N. Medvidovic","year":"1998","unstructured":"N. Medvidovic, D. S. Rosenblum, and R. N. Taylor. A type theory for software architectures. Technical Report UCI-ICS-98-14, Department of Information and Computer Science, University of California, Irvine, April 1998."},{"key":"20_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/3-540-44525-0_7","volume-title":"ZB\u20192000 \u2014 International Conference of B and Z Users","author":"K. Robinson","year":"2000","unstructured":"Ken Robinson. Reconciling axiomatic and model-based specification using the B method. In ZB\u20192000 \u2014 International Conference of B and Z Users, volume 1878 of Lecture Notes in Computer Science (Springer-Verlag), pages 95\u2013106, Helsington, York, UK YO10 5DD, August 2000. Department of Computer Science \u2014 University of York."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"S. Stepney, R. Barden, and D. Cooper. Object Orientation in Z. Workshops in computing. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3552-4"}],"container-title":["Lecture Notes in Computer Science","ZB 2003: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44880-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T18:45:41Z","timestamp":1676054741000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}