The use of machines to assist in rigorous proof, Philosophical Transactions of the Royal Society of London 312 (1984)

by R Milner
Venue:Mathematical Logic and Programming Languages (Prentice-Hall