Automatic Verification of Pascal programs. - Marmier, Edouard (Juris Druck+Verlag, 1975)