Gordon, M. J. C., Milner, R., & Wadsworth, C. P. (1979). Edinburgh LCF: A mechanised logic of computation. Springer-Verlag.
Chicago Style (17th ed.) CitationGordon, 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.) 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.