Verification of Sequential and Concurrent Programs (2009)

by K R Apt, F de Boer, E-R Olderog