Introduction to program verification - Apt, Krzysztof R. 1949-; Olderog, Ernst-Rüdiger 1955- (Universität <Oldenburg> / Fachbereich Informatik: Berichte aus dem Fachbereich Informatik der Universität Oldenburg, 1990)