Metodika programování - automatická verifikace programu - Duľová, Marie (Diplomová práce (Mgr.)–Universita J.E. Purkyně v Brně, Přírodovědecká fakulta, 1979, 1979)
Vedoucí práce: Václav Račanský