van Wamel, J. J. (1995). Verification Techniques for Elementary Data Types and Retransmission Protocols. [Thesis, fully internal, Universiteit van Amsterdam].
Rodenburg, P. H. (1995). Termination and confluence in infinitary term rewriting. (Technical Report; No. P9510). onbekend (FdL).