Teoretické základy informatiky - Vaníček, Jiří (Informatika studium, 2007)