LCF, a way of doing proofs with a machine - Milner, Robin 1934-2010 (University <Edinburgh>, 1977)