Techniques for Program Veri (1981)

by G Nelson