Timotej Lazar (2012) Programming with algebraic effects. EngD thesis.
Nejc Trdin (2011) Decision support model for management of water sources. EngD thesis.