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