Turing's Cathedral covers this and much more.