Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Informatica
Informatica

Bergstra, J.A, & Tucker, J.V. (1982). Hoare's logic for programming languages with two data types : (preprint). Stichting Mathematisch Centrum. Informatica. Stichting Mathematisch Centrum.