{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:47:59Z","timestamp":1725475679396},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687603"},{"type":"electronic","value":"9783540687610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11955757_5","type":"book-chapter","created":{"date-parts":[[2006,12,11]],"date-time":"2006-12-11T09:34:20Z","timestamp":1165829660000},"page":"19-33","source":"Crossref","is-referenced-by-count":5,"title":["Chorus Angelorum"],"prefix":"10.1007","author":[{"given":"Steve","family":"Dunne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"5_CR2","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":"Back, R.-J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, New York (1998)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0304-3975(92)90309-4","volume":"100","author":"R.J.R. Back","year":"1992","unstructured":"Back, R.J.R., von Wright, J.: Combining angels, demons and miracles in program specifications. Theoretical Computer Science\u00a0100, 365\u2013383 (1992)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/s00165-006-0001-8","volume":"18","author":"A. Cavalcanti","year":"2006","unstructured":"Cavalcanti, A., Woodcock, J.C.P., Dunne, S.E.: Angelic nondeterminism in the unifying theories of programming. Formal Aspects of Computing\u00a018(3), 288\u2013307 (2006)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program Semantics. Springer, Berlin (1990)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/3-540-45648-1_14","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"S.E. Dunne","year":"2002","unstructured":"Dunne, S.E.: A theory of generalised substitutions. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) ZB 2002: Formal Specification and Development in Z and B. LNCS, vol.\u00a02272, pp. 270\u2013290. Springer, Heidelberg (2002)"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0304-3975(91)90029-2","volume":"87","author":"P.H.B. Gardiner","year":"1991","unstructured":"Gardiner, P.H.B., Morgan, C.C.: Data refinement of predicate transformers. Theoretical Computer Science\u00a087, 143\u2013162 (1991)","journal-title":"Theoretical Computer Science"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BF01212407","volume":"5","author":"P.H.B. Gardiner","year":"1993","unstructured":"Gardiner, P.H.B., Morgan, C.C.: A single complete rule for data refinement. Formal Aspects of Computing\u00a05, 367\u2013382 (1993)","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/0020-0190(81)90071-5","volume":"12","author":"E.C.R. Hehner","year":"1981","unstructured":"Hehner, E.C.R.: Bunch theory: a simple set theory for computer science. Information Processing Letters\u00a012(1), 26\u201330 (1981)","journal-title":"Information Processing Letters"},{"key":"5_CR10","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"5_CR11","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"5_CR12","unstructured":"Jagaeesan, R., Shanbhogue, V., Saraswat, V.: Angelic nondeterminism in concurrent constraint programming, Xerox technical report (1991)"},{"key":"5_CR13","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development Using VDM, 2nd edn. Prentice-Hall, Englewood Cliffs (1990)","edition":"2"},{"issue":"4","key":"5_CR14","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/BF01213535","volume":"8","author":"A.P. Martin","year":"1996","unstructured":"Martin, A.P., Gardiner, P.H.B., Woodcock, J.C.P.: A tactical calculus. Formal Aspects of Computing\u00a08(4), 479\u2013489 (1996)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-27764-4_13","volume-title":"Mathematics of Program Construction","author":"C.E. Martin","year":"2004","unstructured":"Martin, C.E., Curtis, S.A., Rewitzky, I.: Modelling nondeterminism. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 228\u2013251. Springer, Heidelberg (2004)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-540-24615-2_12","volume-title":"Theory and Applications of Relational Structures as Knowledge Instruments","author":"I. Rewitzky","year":"2003","unstructured":"Rewitzky, I.: Binary multirelations. In: de Swart, H., Or\u0142owska, E., Schmidt, G., Roubens, M. (eds.) Theory and Applications of Relational Structures as Knowledge Instruments. LNCS, vol.\u00a02929, pp. 259\u2013274. Springer, Heidelberg (2003)"},{"key":"5_CR17","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, Englewood Cliffs (1998)"},{"key":"5_CR18","unstructured":"Ward, N., Hayes, I.J.: Applications of angelic nondeterminism. In: Bailes, P.A. (ed.) Proc. of the 6th Australian Software Engineering Conference (ASWEC 1991), pp. 391\u2013404. Australian Computer Society (1991)"},{"key":"5_CR19","volume-title":"Using Z: Specification, Refinement and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement and Proof. Prentice-Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","B 2007: Formal Specification and Development in B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11955757_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:21:30Z","timestamp":1619508090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11955757_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540687603","9783540687610"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11955757_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}