Scott Dana "Outline of a mathematical theory of computation"

Proc. (1970) Proc. 4th Ann. Princeton Conf. on Information Sciences and Systems (1970)   Dana Scott

Languages mentioned Scott {1969}