EEMCS

van Eijk, P. and Belinfante, A.F.E. and Eertink, E.H. and Alblas, H. (1997) The Term Processor Generator Kimwitu. In: Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, April 2-4, 1997, Enschede, The Netherlands. pp. 96-111. Lecture Notes in Computer Science 1217. Springer Verlag. ISBN 3-540-62790-1

van Eijk, P. and Belinfante, A.F.E. and Eertink, E.H. and Alblas, H. (1996) The Term Processor Generator Kimwitu (Full version). Technical Report 96-49, University of Twente.

van Eijk, P. and Kremer, H.H.C. and van Sinderen, M.J. (1990) On the use of specification styles for automated protocol implementation from LOTOS to C. In: Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990, 12-15 Jun 1990, Ottawa, Canada. pp. 157-168. Elsevier. ISBN 0-444-88810-1