Edinburgh LCF - Gordon, Michael J. C. 1948-; Milner, Robin 1934-2010; Wadsworth, Christopher P. (University of Edinburgh, Department of Computer Science: Internal report, 1977)