Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Informatica

Bergstra, J., Cmielienska, A., & Tiuryn, J. (1983). Another incompleteness theorem for Hoare's logic. Stichting Mathematisch Centrum. Informatica. Stichting Mathematisch Centrum.