Programmverifikation. : Sequentielle, parallele und verteilte Programme. - Apt, Krzysztof R.; Olderog, Ernst-Rüdiger (Springer Lehrbuch, 1994)