Text this: Finitely recursive programs