Verification of Sequential and Concurrent Programs - Apt, Krzysztof R. (Springer London, 2009)