Verification of sequential and concurrent programs - Apt, Krzysztof R., 1949- (Texts in computer science, 2009)