Logika, automaty a Algoritmy. (Praha, 1971)