Programmverifikation sequentielle, parallele und verteilte Programme - Apt, Krzysztof R. 1949-; Olderog, Ernst-Rüdiger 1955- (Springer, 1994)