Algoritmy a automatické programování - Havel, Ivan (Práce, 1968)