"The Annotated Turing" - I didn't know you could meaningfully intertwine biography and technical analysis like that.