计算的本质：深入剖析程序和计算机 Understanding Computation From Simple Machines to Impossible Programs (Tom Stuart 张伟)（Z-Library）