Teoretická informatika - Kolář, Josef, 1943- (Česká informatická společnost, 1996)