Robert Fourer
Northwestern University, Evanston, IL
Theory of recursive functions and effective computability
A critique of the foundations of Hoare style programming logics
Communications of the ACM