JAROŠOVÁ, Dagmar (dis). Ověřování vlastností binárních funkcí na programovatelném minikalkulátoru TI-59 [rukopis]. 1984. 71 l. Diplomová práce – Pedagogická fakulta v Ústí nad Labem, 1984.