Verification of Sequential and Concurrent Programs (1991)

by K R Apt, E-R Olderog