Návrh a realizácia aplikácie pre tvorbu, editovanie a archivovanie verifikačných protokolov v prostredí Oracle : Diplomová práca - Ďuriš, Daniel (STU v Bratislave MtF KAIA, 2000)