Matematičke teorije u jezicima drugog reda : magistarski rad - Vuković, Mladen, matematičar (M. Vuković, 1990)
Mag. rad, Zajednički postdiplomski studij matematike, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb, 1990