Richard J. Lipton
-
Expressibility Of The Semantics Of Sequential Programs In First-Order Logic
Fundamenta Informaticae