Morgan, C. und Vickers, T. (Hrsg.) (1992) On the Refinement Calculus [cd], Formal Approaches to Computing and Information Technology (FACIT). London: Springer London. doi:10.1007/978-1-4471-3273-8.
Chicago Manual of Style 17th edition (full note)Morgan, Carroll, und Trevor Vickers, Hrsg. On the Refinement Calculus. Cd. Formal Approaches to Computing and Information Technology (FACIT). London: Springer London, [1992?], London: Springer London, [1992?]. https://doi.org/10.1007/978-1-4471-3273-8.
American Psychological Association 7th editionOn the Refinement Calculus. (ca. 1992). [Cd]. In C. Morgan & T. Vickers (Hrsg.), Formal Approaches to Computing and Information Technology (FACIT). Springer London. https://doi.org/10.1007/978-1-4471-3273-8
Modern Language Association 9th editionMorgan, C., und T. Vickers, Herausgeber. „On the Refinement Calculus“. Formal Approaches to Computing and Information Technology (FACIT), cd, Springer London, 1992, https://doi.org/10.1007/978-1-4471-3273-8.
ISO-690 (author-date, Deutsch)MORGAN, Carroll und Trevor VICKERS (Hrsg.). London: Springer London. ISBN 9781447132738