Mathematical proofs of computer correctness (1989)

by J Barwise
Venue:Notices of the American Mathematical Society