Information processing machines. 18 - Raichl, Jiří (Praha : Academia, 1975)