C.H.A. Koster <kees@cs.ru.nl>
M. Seutter    <marcs@cs.ru.nl>
O. Seibert    <olafs@cs.ru.nl>
