Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Zuivere Wiskunde

Janssen, T.M.V, & van Emde Boas, P. (1978). The expressive power of intensional logic in the semantics of programming languages : 2nd ed. Stichting Mathematisch Centrum. Zuivere Wiskunde. Stichting Mathematisch Centrum.