哥德尔、艾舍尔、巴赫——集异壁之大成GEB,计算机科学经典著作