Verification of Sequential and Concurrent Programs - Apt, Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger (Springer London, 2009)