Peter van Eijk Axel Belinfante Henk Eertink Henk Alblas The Term Processor Generator <i>Kimwitu</i>. 96-111 1997 conf/tacas/1997 TACAS db/conf/tacas/tacas97.html#EijkBEA97