Apt and Olderog (1991)

Apt K.R. and Olderog E-R. (1991)

Verification of Sequential and Concurrent Programs

Springer