APA (7th ed.) Citation

Morgan, C. (1992). On the Refinement Calculus. Springer London. https://doi.org/10.1007/978-1-4471-3273-8

Chicago Style (17th ed.) Citation

Morgan, Carroll. On the Refinement Calculus. London: Springer London, 1992. https://doi.org/10.1007/978-1-4471-3273-8.

MLA (9th ed.) Citation

Morgan, Carroll. On the Refinement Calculus. Springer London, 1992. https://doi.org/10.1007/978-1-4471-3273-8.