A weaker precondition for loops.
Contributors: Mathematisch Centrum. Afdeling Informatica.
Series: IW 104/78
Publisher: Mathematisch Centrum
Published: 1978
Place of publication: Amsterdam
Language: eng