Gordon, M. J. C., Wadsworth, C. P., & Milner, R. (1979). Edinburgh LCF: A mechanised logic of computation. Springer-Verlag.
Citace podle Chicago (17th ed.)Gordon, Michael J. C., Christopher P. Wadsworth, a R. Milner. Edinburgh LCF: A Mechanised Logic of Computation. Berlin ; New York: Springer-Verlag, 1979.
Citace podle MLA (8th ed.)Gordon, Michael J. C., et al. Edinburgh LCF: A Mechanised Logic of Computation. Springer-Verlag, 1979.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..