Mechanical proofs about computer programs (1985)

by D I Good
Venue:In Mathematical logic and programming languages