Turing in the land of O(z), The universal Turing machine (1988)

by Solomon Feferman