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