Semantics and proof theory of PASCAL procedures
By: [by] K.R. Apt and J.W. de Bakker.
Contributors: Mathematisch Centrum. Afdeling Informatica.
Series: IW 80/77
Publisher: Mathematisch Centrum
Published: 1977
Place of publication: Amsterdam
Language: eng
Notes: Preprint.