Teoretické základy informatiky - Vaníček, Jiří 1937- (Kernberg Publishing, 2007)