Veanes, Margus Programming Logics, MPI for Informatics, Max Planck Society;
Veanes, M. (2000). Farmer's Theorem Revisited. Information Processing Letters, 74(1/2), 47-53.