A Basis for a Mathematical Theory of Computation

purl.stanford.edu/sg135sp9052