Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Informatica

Bergstra, J.& Tucker, J. (1980). A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification : (preprint). In Stichting Mathematisch Centrum. Informatica (IW 133/80). Stichting Mathematisch Centrum.