Understanding Computation： From Simple Machines to Impossible Programs by Tom Stuart - View it on GitHub