Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas. The Term Processor Generator ::::Kimwitu::::. In Ed Brinksma, editor, Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Volume 1217 of Lecture Notes in Computer Science, pages 96-111, Springer, 1997.
Abstract is missing.