BookThe Annotated Turing · How a different choice of variables simplifies the same algebra problemCharles PetzoldCompare two possibilities · Breakdown