"Second-Order Mathematical Theory of Computation"

Zohar Manna (1970)
a service of Schloss Dagstuhl - Leibniz Center for Informatics