Jazyky pro testování programů - Pulka, Emil (1981)