Algoritmizace - Raichl, Jiří, 1927- (Univerzita Karlova, 1988)