Understanding Computation: From Simple Machines to Impossible Programs - View it on GitHub