Aplikace resoluční metody pro analýzu programů - Koleňáková, Taťjana (1984)