Author: SCAFI Seminar (1991 Centrum voor Wiskunde en Informatica, Amsterdam, Netherlands)