Program verification: The very idea (1988)

by J H Fetzer
Venue:Communications of The ACM