Verification of sequential and concurrent programs - Apt, Krzysztof R. (Texts in Computer Science,, 2009)