Text this: THE EQUIVALENCE OF INTEGER PROGRAMS TO CONSTRAINED RECURSIVE SYSTEMS.