Program verification: the very idea (1988)

by J H Fetzer
Venue:Communications of the ACM