Techniques for Program Verification (1980)

by G Nelson