Korver, H. P. (1994). Protocol Verification in mCRL. [Thesis, internally prepared, Universiteit van Amsterdam].
van der Meulen, E. A. (1994). Incremental Rewriting. [Thesis, fully internal, Universiteit van Amsterdam].
Koorn, J. W. C. (1994). Generating Uniform User-Interfaces for Interactive Programming Environments. [Thesis, fully internal, Universiteit van Amsterdam].
Heemskerk, M. H. M. (1994). On Gaseous Discs around Stars. [Thesis, fully internal, Universiteit van Amsterdam].
van Diejen, J. F. (1994). Families of commuting difference operators. [Thesis, fully internal, Universiteit van Amsterdam].
Dijkhuizen, M. S. (1994). On compact quantum groups and quantum homogeneous spaces. [Thesis, internally prepared, Universiteit van Amsterdam].
de Graaf, M. (1994). Graphs and curves on surfaces. [Thesis, fully internal, Universiteit van Amsterdam].
Venetiaan, S. A. (1994). Bootstrap Bounds. [Thesis, fully internal, Universiteit van Amsterdam].
Viskil, E. (1994). Definieren. Een bijdrage tot de theorievorming over het opstellen van definities. [Thesis, fully internal, Universiteit van Amsterdam].
Abu Hanna, A. (1994). Multiple domain models in diagnostig reasoning. [Thesis, fully internal, Universiteit van Amsterdam].
