{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:38Z","timestamp":1725456338743},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539315"},{"type":"electronic","value":"9783540464501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0019444","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:40:35Z","timestamp":1132728035000},"page":"179-202","source":"Crossref","is-referenced-by-count":9,"title":["Object-oriented specification in LOTOS and Z, or my cat really is object-oriented!"],"prefix":"10.1007","author":[{"given":"Elspeth","family":"Cusack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"6_CR1","unstructured":"Ed Brinksma, Giuseppe Scollo and Chris Steenbergen, LOTOS specifications, their implementations and their tests, Sixth International Symposium on Protocol Testing, Specification and Verification, Montreal, June 1986"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Ed Brinksma and Tommaso Bolognesi, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, Vol 14 Number 1, 1987","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"6_CR3","unstructured":"D Carrington, D Duke, R Duke, P King, G Rose and P Smith, Object-Z: An Object Oriented Extension To Z, FORTE89 \u2014 International Conference On Formal Description Techniques, Vancouver, December 1989"},{"key":"6_CR4","unstructured":"Elspeth Cusack, Fundamental aspects of object oriented specification, Br Telecom Technol J Vol 6 No 3, July 1988"},{"key":"6_CR5","unstructured":"Elspeth Cusack, Refinement, conformance and inheritance, BCS Workshop on Refinement, Open University, January 1989 (revised version to appear in Formal Aspects of Computing)"},{"key":"6_CR6","unstructured":"Elspeth Cusack, Steve Rudkin and Chris Smith, An object oriented interpretation of LOTOS, FORTE89 \u2014 International Conference On Formal Description Techniques, Vancouver, December 1989"},{"key":"6_CR7","unstructured":"David Duke and Roger Duke, A History Model for Classes in Object-Z, VDM'90: VDM and Z, April 1990"},{"key":"6_CR8","unstructured":"Roger Duke, Gordon Rose and Anthony Lee, Object-Oriented Protocol Specification, to be presented at the Tenth International Symposium on Protocol Testing, Specification and Verification, Ottawa, June 1990"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"H Ehrig and B Mahr, Fundamentals of Algebraic Specification I, Springer-Verlag, 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"6_CR10","unstructured":"A Goldberg and D Robson, Smalltalk-80: the language and its implementation, Addison-Wesley (1983) reprinted 1985"},{"key":"6_CR11","unstructured":"Joseph A Goguen and Jose Meseguer, Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics in Research Directions In Object Oriented Programming, Bruce Shriver and Peter Wegner (editors), MIT Press, 1987"},{"key":"6_CR12","unstructured":"Ian Hayes (editor), Specification Case Studies, Prentice-Hall, 1987"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"C A R Hoare, Communicating Sequential Processes, Prentice-Hall, 1985","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Roger King, My cat is object oriented, in Object-Oriented Concepts, Databases and Applications, Won Kim and Frederick H Lochovsky (editors), ACM Press 1989","DOI":"10.1145\/63320.66469"},{"key":"6_CR15","unstructured":"Kilsup Lee, Steve Rudkin and Kilnam Chon, A specification of Sieve object in Objective LOTOS, submitted to Computer Networks and ISDN Systems"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"R Milner, Calculus of Communicating Systems, Springer Verlag, 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"6_CR17","unstructured":"Dorothy Silkstone Richards, Robine Pocock, Moira Swift and Vic Watson, The Burmese Cat, B T Batsford Ltd, London 1975"},{"key":"6_CR18","unstructured":"J M Spivey, The Z Notation: A Reference Manual, Prentice-Hall 1989"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"J C Thompson, V C Cobb, C E Keeler and M Dmytryk, Genetics of the Burmese Cat, Journal of Heredity 1943, (reprinted in [17])","DOI":"10.1093\/oxfordjournals.jhered.a105261"},{"key":"6_CR20","unstructured":"Peter Wegner, The object oriented classification paradigm in Research Directions In Object Oriented Programming, Bruce Shriver and Peter Wegner (editors), MIT Press, 1987"},{"key":"6_CR21","unstructured":"LOTOS IS 8807, LOTOS \u2014 a formal description technique based on the temporal ordering of observed behaviour, 1988"},{"key":"6_CR22","unstructured":"ISO\/IEC JTC1 SC21 WG7 N4025 Draft Basic Reference Model of Open Distributed Processing \u2014 Part 2: Descriptive Model, WG7 Working Document, November 1989"},{"key":"6_CR23","unstructured":"ISO\/IEC JTC1 SC21 WG7 N4024 Formalisms and Specifications, WG7 Working Document, November 1989"}],"container-title":["Lecture Notes in Computer Science","Foundations of Object-Oriented Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:28:26Z","timestamp":1586579306000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539315","9783540464501"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0019444","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}