The use of machines to assist in rigorous proof (1984)

by R Milner
Venue:Phil. Trans. R. Soc. Lond