{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:25Z","timestamp":1725456025978},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566627"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024644","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T10:09:15Z","timestamp":1132740555000},"page":"148-161","source":"Crossref","is-referenced-by-count":2,"title":["Algorithm refinement with read and write frames"],"prefix":"10.1007","author":[{"given":"Juan","family":"Bicarregui","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Composing Specifications. M. Abadi and L. Lamport. DEC Technical Report 66, October 1990."},{"key":"11_CR2","unstructured":"Abstract Machines, Parts I, II and III. J. R. Abrial. Unpublished, 1990."},{"key":"11_CR3","unstructured":"The B Method. J. R. Abrial, M. K. O. Lee, D. S. Neilson and P. N. Scharbach. VDM '91, Formal Software Development Methods, LNCS 552, Springer-Verlag (1991)."},{"key":"11_CR4","unstructured":"Operation Decomposition Proof Obligations for Blocks and Procedures. J. A. Ah-Kee. Ph.D. Thesis. University of Manchester. 1989."},{"key":"11_CR5","unstructured":"A Calculus of Refinements for Program Derivations. R.J.R. Back. Acta Informatica (1988)."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/BF00259469","volume":"27","author":"R.J.R. Back","year":"1990","unstructured":"Duality in Specification Languages: A Lattice-theoretical Approach. R.J.R. Back and J. von Wright. Acta Informatica 27, 1990, pp 583\u2013625.","journal-title":"Acta Informatica"},{"key":"11_CR7","unstructured":"Reasoning about VDM developments using the VDM support tool in Mural. J.C. Bicarregui and B. Ritchie, in VDM '91 Formal Software Development Methods. LNCS 552, Springer-Verlag (1991)."},{"key":"11_CR8","unstructured":"Proof in VDM \u2014 A Practitioner's Guide. J.C.Bicarregui, J.F. Fitzgerald, P.A. Lindsay, R. Moore and B. Ritchie, To appear Springer-Verlag (1993)."},{"key":"11_CR9","unstructured":"A Discipline of Programming. E.W.Dijkstra, Prentice-Hall (1976)."},{"key":"11_CR10","unstructured":"VDM Proof Obligations and their Justification. C.B.Jones, Proceedings of the VDM '87 Symposium, LNCS 252, Springer-Verlag(1987)."},{"key":"11_CR11","unstructured":"C.B.Jones, Systematic Software Development using VDM. (second edition) Prentice Hall, 1990."},{"key":"11_CR12","unstructured":"The Temporal Logic of Actions. L. Lamport, DEC Technical Report 79. December 25, 1991."},{"key":"11_CR13","unstructured":"Proof Rules for VDM Statements. R. Milne, Proceedings of the VDM '88 Symposium, LNCS 328, Springer-Verlag(1988)."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"The Specification Statement. C. Morgan. TOPLAS 10, 3 (July 1988).","DOI":"10.1145\/44501.44503"},{"key":"11_CR15","unstructured":"On the Refinement Calculus. C. Morgan, K. Robinson and P. Gardiner. Oxford University Technical Monograph, PRG-70, 1988."},{"key":"11_CR16","unstructured":"Programming from Specifications. C. Morgan, Prentice Hall, 1990."},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J. Morris","year":"1987","unstructured":"A theoretical basis for stepwise refinement and the programming calculus. J. Morris, Sci.Comput. Programming, 9 287\u2013306 (1987).","journal-title":"Sci.Comput. Programming"}],"container-title":["Lecture Notes in Computer Science","FME '93: Industrial-Strength Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0024644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:53:16Z","timestamp":1586580796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566627"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0024644","relation":{},"subject":[]}}