Recursive Programs as Definitions in First Order Logic. - Cartwright, Robert (SIAM J. Comput., 1984)