APA (7th ed.) Citation

Morgan, C., & Vickers, T. (1994). On the Refinement Calculus. Springer London.

Chicago Style (17th ed.) Citation

Morgan, Carroll, and Trevor Vickers. On the Refinement Calculus. London: Springer London, 1994.

MLA (9th ed.) Citation

Morgan, Carroll, and Trevor Vickers. On the Refinement Calculus. Springer London, 1994.