Verification of sequential and concurrent programs - Olderog, Ernst-Rüdiger, 1955- (Graduate texts in computer science, 1997)