Verification of Sequential and Concurrent Programs

Book by Ernst-Rüdiger Olderog and Krzysztof R. Apt