APA (7th ed.) Citation

Gordon, M. J. C., Milner, R., & Wadsworth, C. P. (1979). Edinburgh LCF: A mechanised logic of computation. Springer-Verlag.

Chicago Style (17th ed.) Citation

Gordon, Michael J. C., R. Milner, and Christopher P. Wadsworth. Edinburgh LCF: A Mechanised Logic of Computation. Berlin ; New York: Springer-Verlag, 1979.

MLA (9th ed.) Citation

Gordon, Michael J. C., et al. Edinburgh LCF: A Mechanised Logic of Computation. Springer-Verlag, 1979.