The Annotated Turing

by Charles Petzold