The foundations of program verification - Loeckx, Jacques, 1931- (Wiley-Teubner series in computer science, 1987)