Mathematical proofs of computer system correctness (1989)

by J Barwise
Venue:Notices of the AMS