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). In Stichting Mathematisch Centrum. Informatica (IW 124/79). Stichting Mathematisch Centrum.