Yuri Gurevich;Mark L. Millard
The University of Michigan, Ann Arbor, MI;8415 S.E. Stephens St., Portland, OR
Theory of recursive functions and effective computability
A critique of the foundations of Hoare style programming logics
Communications of the ACM