Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Informatica

Bergstra, J.& Tucker, J. (1979). On the adequacy of finite equational methods for data type specification : (preprint). In Stichting Mathematisch Centrum. Informatica (IW 127/79). Stichting Mathematisch Centrum.