Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Informatica

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