Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Informatica

Bergstra, J., & Tucker, J. (1979). A characterisation of computable data types by means of a finite, equational specification method : (preprint). Stichting Mathematisch Centrum. Informatica. Stichting Mathematisch Centrum.