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

by R Milner
Venue:in: Hoare and Shepherdson [17