Apt and Olderog (1991)
Apt K.R. and Olderog E-R. (1991)
Verification of Sequential and Concurrent Programs
Springer