Mechanical proofs about computer programs (1985)

by D Good
Venue:Mathematical Logic and Programming Languages