CWI quarterly. (Centrum voor Wiskunde en Informatica, 1989)