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