Romijn, J. M. T. (1995). Automatic analysis of term rewriting systems: proving properties of term rewriting systems derived from ASF+SDF specifications. (Technical Report; No. P9505). onbekend (FdL).
Romijn, J. M. T., & Vaandrager, F. W. (1995). A note on fairness in I/O automata. CWI.