Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Zuivere Wiskunde

Janssen, T. (1977). A computer program for ptq and its logical reduction rules : (preprint). In Stichting Mathematisch Centrum. Zuivere Wiskunde (ZW 99/77). Stichting Mathematisch Centrum.