APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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