Edward H. McCall
Sperry Corporation, St. Paul, MN
Theory of recursive functions and effective computability
A critique of the foundations of Hoare style programming logics
Communications of the ACM