Gordon, M. J. C., Wadsworth, C. P., & Milner, R. (1979). Edinburgh LCF: A mechanised logic of computation. Springer-Verlag.
Chicago Style (17th ed.) CitationGordon, 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.) CitationGordon, Michael J. C., et al. Edinburgh LCF: A Mechanised Logic of Computation. Springer-Verlag, 1979.
Warning: These citations may not always be 100% accurate.