Kurtonina, N. (1995). Frames and Labels. [Thesis, fully external, elders].
Brunekreef, J. J. (1995). On Modular Algebraic Protocol Specification. [Thesis, externally prepared, Universiteit van Amsterdam].
van Wamel, J. J. (1995). Verification Techniques for Elementary Data Types and Retransmission Protocols. [Thesis, fully internal, Universiteit van Amsterdam].
Tip, F. (1995). Generation of Program Analysis Tools. [Thesis, externally prepared, Universiteit van Amsterdam]. ILLC.
Watson, B. W. (1995). Taxonomies and Toolkits of Regular Language Algorithms. [Thesis, fully external, tue].
van Oppen, M. J. H. (1995). Tracking trails by cracking codes: molecular biography and evolution of benthic cold-water seeweeds. [Thesis, fully external, RUG]. RUG.