Verification of sequential and concurrent programs - Apt, Krzysztof R. , 1949-; Boer, Frank S. de; Olderog, Ernst-Rudiger (Texts in computer science, 2009)