Program Verification: the Very Idea (1988)

by J H Fetzer
Venue:Communications of the ACM