{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:32:22Z","timestamp":1759991542191},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540347507"},{"type":"electronic","value":"9783540347521"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11768173_2","type":"book-chapter","created":{"date-parts":[[2006,6,21]],"date-time":"2006-06-21T12:02:49Z","timestamp":1150891369000},"page":"18-37","source":"Crossref","is-referenced-by-count":24,"title":["Object-Orientation in the UTP"],"prefix":"10.1007","author":[{"given":"Thiago","family":"Santos","sequence":"first","affiliation":[]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University (1981)"},{"key":"2_CR2","volume-title":"Towards an Operational Semantics and Proof of Type Soundness for Java","author":"S. Drossopoulou","year":"1998","unstructured":"Drossopoulou, S., Eisenbach, S.: Towards an Operational Semantics and Proof of Type Soundness for Java. Springer, Heidelberg (1998)"},{"key":"2_CR3","unstructured":"Schmdit, D.A.: Denotational Semantics. A Methodology for Language Development. Allyn and Bacon, Inc. (1986)"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R., Hayes, I.J., Jifeng, H., Morgan, C.C., Roscoe, A.W., Sanders, J.W., Sorensen, I.H., Spivey, J.M., Sufrin, B.A.: Laws of programming. Commun. ACM\u00a030, 672\u2013686 (1987)","journal-title":"Commun. ACM"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.scico.2004.03.003","volume":"52","author":"P.H.M. Borba","year":"2004","unstructured":"Borba, P.H.M., Sampaio, A.C.A., Cavalcanti, A.L.C., Corn\u00e9lio, M.L.: Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming\u00a052, 53\u2013100 (2004)","journal-title":"Science of Computer Programming"},{"key":"2_CR6","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"2_CR7","unstructured":"Jifeng, H., Li, X., Liu, Z.: A Refinement Calculus for Object Systems. Technical report 322, UNU-IIST, P.O.Box 3058, Macau (2005)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-45236-2_19","volume-title":"FM 2003","author":"S.C. Qin","year":"2003","unstructured":"Qin, S.C., Dong, J.S., Chin, W.N.: A Semantic Foundation of TCOZ in Unifying Theory of Programming. In: FM 2003, Pisa, Italy. LNCS, pp. 321\u2013340. Springer, Heidelberg (2003)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1109\/ICSE.1998.671106","volume-title":"Proceedings of the 20th International Conference on Software Engineering (ICSE 1998)","author":"B. Mahony","year":"1998","unstructured":"Mahony, B., Dong, J.: Blending Object-Z and Timed CSP: An introduction to TCOZ. In: Proceedings of the 20th International Conference on Software Engineering (ICSE 1998), Kyoto, Japan, pp. 95\u2013104. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B.P. Mahony","year":"2000","unstructured":"Mahony, B.P., Dong, J.S.: Timed Communicating Object Z. IEEE Transactions on Software Engineering\u00a026, 150\u2013177 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10270-005-0085-2","volume":"4","author":"A.L.C. Cavalcanti","year":"2005","unstructured":"Cavalcanti, A.L.C., Sampaio, A.C.A., Woodcock, J.C.P.: Unifying Classes and Processes. Software and System Modelling\u00a04, 277\u2013296 (2005)","journal-title":"Software and System Modelling"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"J.C.P. Woodcock","year":"2002","unstructured":"Woodcock, J.C.P., Cavalcanti, A.L.C.: The Semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"},{"key":"2_CR13","volume-title":"Using Z-Specification, Refinement, and Proof","author":"J.C.P. Woodcock","year":"1996","unstructured":"Woodcock, J.C.P., Davies, J.: Using Z-Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"2_CR14","series-title":"Prentice-Hall Series in Computer Science","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1109\/32.879810","volume":"26","author":"A.L.C. Cavalcanti","year":"2000","unstructured":"Cavalcanti, A.L.C., Naumann, D.A.: A Weakest Precondition Semantics for Refinement of Object-oriented Programs. IEEE Transactions on Software Engineering\u00a026, 713\u2013728 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR16","unstructured":"Back, R.J.R.: Procedural Abstraction in the Refinement Calculus. Technical report, Department of Computer Science, \u00c5bo, Finland, Ser.\u00a0A No.\u00a055 (1987)"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0304-3975(94)00247-G","volume":"150","author":"D.A. Naumann","year":"1995","unstructured":"Naumann, D.A.: Predicate transformers and higher-order programs. Theor. Comput. Sci.\u00a0150, 111\u2013159 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR18","unstructured":"Borba, P.H.M., Sampaio, A.C.A.: Basic Laws of ROOL: an object-oriented language. In: 3rd Workshop on Formal Methods, Brazil, pp. 33\u201344 (2000)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/11526841_5","volume-title":"FM 2005: Formal Methods","author":"I.T. Kassios","year":"2005","unstructured":"Kassios, I.T.: Decoupling in Object Orientation. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 43\u201358. Springer, Heidelberg (2005)"},{"key":"2_CR20","volume-title":"A Practical Theory of Programming","author":"E. Hehner","year":"2004","unstructured":"Hehner, E.: A Practical Theory of Programming, 2nd edn. Springer, New York (2004)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Unifying Theories of Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11768173_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:12:48Z","timestamp":1619507568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11768173_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540347507","9783540347521"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11768173_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}