On finitely recursive programs

Open in new window