Sofsem 2001- Theory And Practice Of Informatics by L. Pacholski & P. Ruzicka