Úvod do teoretické informatiky - Koubková, Alena, 1954-; Pavelka, Jan (Matfyzpress, 2005)