Verifikácia programov - Andrejková, Gabriela; Chytil, Michal (Rektorát UPJŠ, 1988)