Sheaf models for choice sequences. - Gerrit van Der Hoeven; Ieke Moerdijk (Ann. Pure Appl. Log., 1984)

On Choice Sequences Determined by Spreads. - Gerrit van Der Hoeven; Ieke Moerdijk (J. Symb. Log., 1984)

Teaching Functional Programming to First-Year Students. - Stef Joosten; Klaas van den Berg; Gerrit van Der Hoeven (J. Funct. Program., 1993)

Undergraduate research: a case study. - Herman Koppelman; Betsy van Dijk; Gerrit van Der Hoeven (ITiCSE, 2011)