{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:21:03Z","timestamp":1737091263060,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431664"},{"type":"electronic","value":"9783540456483"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45648-1_14","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T05:26:02Z","timestamp":1180329962000},"page":"270-290","source":"Crossref","is-referenced-by-count":14,"title":["A Theory of Generalised Substitutions"],"prefix":"10.1007","author":[{"given":"Steve","family":"Dunne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"R.-J. Back","year":"1988","unstructured":"R.-J. Back. A calculus of refinements for program derivations. Acta Informatica, 25:593\u2013624, 1988.","journal-title":"Acta Informatica"},{"issue":"11","key":"14_CR3","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1007\/s002360050148","volume":"35","author":"R.-J. Back","year":"1998","unstructured":"R.-J. Back and M.J. Butler. Fusion and simultaneous execution in the refinement calculus. Acta Informatica, 35(11):921\u2013940, 1998.","journal-title":"Acta Informatica"},{"key":"14_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.-J. Back","year":"1998","unstructured":"R.-J. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag New York, 1998."},{"key":"14_CR5","unstructured":"D. Bert, M.-L. Potet, and Y. Rouzaud. A study on components and assembly primitives in B. In H. Habrias, editor, Proceedings of the First B Conference, pages 47\u201362. IRIN, Nantes, 1996."},{"key":"14_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Invariants, frames and postconditions: a comparison of the VDM and B notations","author":"J.C. Bicarregui","year":"1993","unstructured":"J.C. Bicarregui and B. Ritchie. Invariants, frames and postconditions: a comparison of the VDM and B notations. In J. Woodcock and P.G. Larsen, editors, Proceedings of FME\u201993, number 670 in Lecture Notes in Computer Science. Springer-Verlag, 1993."},{"key":"14_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/BFb0053356","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"P. Chartier","year":"1998","unstructured":"P Chartier. Formalisation of B in Isabelle\/HOL. In D. Bert, editor, B\u201998: Recent Advances in the Development and Use of the B Method; Proceedings of the Second International B Conference, Montpellier, France, number 1393 in Lecture Notes in Computer Science, pages 66\u201382. Springer-Verlag, 1998."},{"key":"14_CR8","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976."},{"key":"14_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/3-540-48119-2_27","volume-title":"FM\u201999-Formal Methods","author":"S.E. Dunne","year":"1999","unstructured":"S.E. Dunne. The Safe Machine: a new specification construct for B. In J.M. Wing, J. Woodcock, and J. Davies, editors, FM\u201999-Formal Methods, number 1708 in Lecture Notes in Computer Science, pages 472\u2013489. Springer-Verlag, 1999."},{"key":"14_CR10","first-page":"19","volume":"19","author":"R.W. Floyd","year":"1967","unstructured":"R.W. Floyd. Assigning meanings to programs. Proceedings of Symposia in Applied Mathematics, 19:19\u201332, 1967.","journal-title":"Assigning meanings to programs"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice Hall, 1998.","DOI":"10.1007\/BFb0002714"},{"key":"14_CR12","unstructured":"C.B. Jones. Systematic Software Development Using VDM (2nd edn). Prentice-Hall, 1990."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"C.C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3), 1988.","DOI":"10.1145\/44501.44503"},{"key":"14_CR14","unstructured":"C.C. Morgan. Programming from Specifications (2nd edn). Prentice Hall International, 1994."},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J.M. Morris","year":"1987","unstructured":"J.M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer programming, 9:287\u2013306, 1987.","journal-title":"Science of Computer programming"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"G. Nelson. A generalisation of Dijkstra\u2019s calculus. ACM Transactions on Programmg Languages and Systems, 11(4), 1989.","DOI":"10.1145\/69558.69559"},{"key":"14_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/3-540-48119-2_24","volume-title":"FM\u201999-Formal Methods","author":"Y. Rouzaud","year":"1999","unstructured":"Y. Rouzaud. Interpreting the B-Method in the Refinement Calculus. In J.M. Wing, J. Woodcock, and J. Davies, editors, FM\u201999-Formal Methods, number 1708 in Lecture Notes in Computer Science, pages 411\u2013430. Springer-Verlag, 1999."},{"key":"14_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/3-540-44525-0_4","volume-title":"ZB2000: Formal Specification and Development in B and Z","author":"G. Smith","year":"2000","unstructured":"G. Smith. Recursive schema definitions in Object-Z. In J.P. Bowen, S.E. Dunne, A. Galloway, and S. King, editors, ZB2000: Formal Specification and Development in B and Z, number 1878 in Lecture Notes in Computer Science, pages 42\u201358. Springer-Verlag, 2000."},{"key":"14_CR19","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski. A lattice theoretical fixed point theorem and its applications. Pacific Journal of Mathematics, 5:285\u2013309, 1955.","journal-title":"Pacific Journal of Mathematics"},{"key":"14_CR20","unstructured":"J. Woodcock and J. Davies. Using Z: Specification, Refinement and Proof. Prentice Hall, 1996."}],"container-title":["Lecture Notes in Computer Science","ZB 2002:Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45648-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:34:36Z","timestamp":1737052476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}