---

Verification of Sequential and Concurrent Programs

Authors: K.R. Apt, F.S. de Boer, and E.-R. Olderog (third extended edition, with a forward by A. Pnueli; Springer, 2009, ISBN: 978-1-84882-744-8)
http://www.springer.com/computer/theoretical+computer+science/book/978-1-84882-744-8