Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Zuivere Wiskunde

Janssen, T.M.V. (1977). A computer program for ptq and its logical reduction rules : (preprint). Stichting Mathematisch Centrum. Zuivere Wiskunde. Stichting Mathematisch Centrum.