Foundations of computing - Gruska Jozef (1997)