APA (7th ed.) Citation

Bird, R., Morgan, C., & Woodcock, J. (1993). Mathematics of program construction: Second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

Bird, Richard, Carroll Morgan, and Jim Woodcock. Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29-July 3, 1992 : Proceedings. Berlin ; New York: Springer-Verlag, 1993.

MLA (9th ed.) Citation

Bird, Richard, et al. Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29-July 3, 1992 : Proceedings. Springer-Verlag, 1993.