Automatic verification of pascal programs. - Marmier, Edouard (Juris Druck, 1975)