Úvod do teoretické informatiky - Koubková, Alena 1954-; Pavelka, Jan 1973- (MATFYZPRESS, vydavatelství Matematicko-fyzikální fakulty Univerzity Karlovy v Praze, 2005)