Verification of sequential and concurrent programs - Apt, Krzysztof R. 1949- (Graduate texts in computer science, 1991)