Testování programů - Vykydal, Miroslav (1977)