Teoretická informatika - Kolář, Josef 1961- (České vysoké učení technické v Praze, 2009)