Fellow
United States – 1994

CITATION

Inductive methods for proving properties of programs, Communications of the ACM, August 1973 (with Stephen Ness, Jean Vuillemin)