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