Chauhan, S.R., Stewart, I.A., "On the power of built-in relations in certain classes of program schemes", Information Processing Letters, 1999