McCarthy's "Mathematical Theory of Computation"