{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:08:38Z","timestamp":1725484118333},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439288"},{"type":"electronic","value":"9783540456148"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_7","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T00:45:28Z","timestamp":1179362728000},"page":"106-125","source":"Crossref","is-referenced-by-count":2,"title":["Do Not Read This"],"prefix":"10.1007","author":[{"given":"Juan C.","family":"Bicarregui","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"7_CR1","unstructured":"J-R. Abrial. The B-Book. Cambridge University Press, 1995."},{"issue":"11","key":"7_CR2","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1007\/s002360050148","volume":"35","author":"R.J.R. Back","year":"1998","unstructured":"R.J.R. Back and M.J. Butler. Fusion and simultaneous substitution in the refinement calculus. Acta Informatica, 35(11):921\u2013940, 1998.","journal-title":"Acta Informatica"},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Formal Methods Europe\u2019 93","author":"J.C. Bicarregui","year":"1993","unstructured":"J.C. Bicarregui. Algorithm refinement with read and write frames. In J.C.P. Woodcock and P.G. Larsen, editors, Proceedings of Formal Methods Europe\u2019 93, volume 670 of Lecture Notes in Computer Science. Springer-Verlag, 1993."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"J.C. Bicarregui. Operation semantics with read and write frames. In Sixth Refinement Workshop, Workshops in Computer Science. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3240-0_14"},{"key":"7_CR5","unstructured":"J.C. Bicarregui. Intra-Modular Structuring in Model-oriented Specification: Expressing non-interference with read and write frames. PhD thesis, Manchester University, Computer Science, June 1995. UMCS-95-10-1."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"R.J.R. Back and J. von Wright. Refinement Calculus: a Systematic Introduction. Springer-Verlag, 1998.","DOI":"10.1007\/978-1-4612-1674-2"},{"key":"7_CR7","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976."},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of ZB2002","author":"S. Dunne","year":"2002","unstructured":"S. Dunne. A theory of generalised substitutions. In D. Bert et al, editor, Proceedings of ZB2002. Springer Verlag, LNCS 2272, 2002."},{"key":"7_CR9","unstructured":"C.B. Jones. Systematic Software Development using VDM. Prentice Hall, 1986."},{"key":"7_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of VDM\u2019 87","author":"C.B. Jones","year":"1987","unstructured":"C.B. Jones. VDM proof obligations and their justification. In M. Mac an Airchinnigh D. Bj\u00f8rner, C.B. Jones and E.J. Neuhold, editors, Proceedings of VDM\u2019 87, volume 252 of Lecture Notes in Computer Science. Springer-Verlag, 1987."},{"key":"7_CR11","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"C. Morgan. Data refinement by miracles. Inf. Proc. Letters, 26(5), Jan. 1988.","DOI":"10.1016\/0020-0190(88)90147-0"}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:05:09Z","timestamp":1556409909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}