Outline of a mathematical theory of computation (1970)

by D S Scott
Venue:In Proceedings of the Fourth Annual Princeton Conference on Information Sciences and Systems