Metodika programování - automatická verifikace programu - Duľová, Marie (1979)