{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T18:20:56Z","timestamp":1725646856170},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198864"},{"type":"electronic","value":"9781447132400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3240-0_14","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"260-278","source":"Crossref","is-referenced-by-count":3,"title":["Operation Semantics with Read and Write Frames"],"prefix":"10.1007","author":[{"given":"Juan","family":"Bicarregui","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Abstract Machines, Parts I, II and III. J. R. Abrial. Unpublished, 1993."},{"key":"14_CR2","unstructured":"The B Method, J. R. Abrial, M. K. O. Lee, D. S. Neilson and P. N. Scharbach. VDM \u201991, Formal Software Development Methods (Tutorials), LNCS 552, Springer-Verlag (1991)."},{"key":"14_CR3","unstructured":"Algorithm Refinement with Read and Write Frames, J.C.Bicarregui, Proceedings of FME\u201993, LNCS 670, Springer-Verlag, 1993."},{"key":"14_CR4","unstructured":"VDM Proof Obligations and their Justification, C.B.Jones, Proceedings of the VDM \u201987 Symposium, LNCS 252, Springer-Verlag(1987)."},{"key":"14_CR5","unstructured":"Z and the Refinement Calculus, S. King. Proceedings of VDM \u201990, pp. 164\u2013188, LNCS 428, Springer-Verlag, 199."},{"key":"14_CR6","unstructured":"On the Refinement Calculus. C. Morgan, K. Robinson and P. Gardiner. Oxford University Technical Monograph, PRG-70, 1988."},{"key":"14_CR7","unstructured":"Programming from Specifications C. Morgan, Prentice Hall, 1990."},{"key":"14_CR8","unstructured":"Understanding Z,J.M. Spivey. Cambridge University Press, 1988."},{"key":"14_CR9","unstructured":"VDM-SL, ISO Draft standard. ISO\/IEC JTC1\/SC22. N1346. April 1993. Also BSI IST\/5\/50. Draft 1st Decemeber 1992."},{"key":"14_CR10","unstructured":"Adding Specification Constructors to the Refinement Calculus, N. Ward, Proceedings of FME \u201993, LNCS 670, Springer-Verlag, 1993."},{"key":"14_CR11","unstructured":"Tractatus Logico-Philosophicus, Wittgenstein, L. Routledge and Kegan Paul, First published 1922, translation by C.K. Ogden."}],"container-title":["Workshops in Computing","6th Refinement Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3240-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T12:08:40Z","timestamp":1556021320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_14","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}