Techniques for program verification (1981)

by G Nelson