undergraduate thesis
Metode kreiranja formalnih dokaza

Tomislav Belcar (2009)
University of Zagreb
Faculty of Organization and Informatics Varaždin