A Refal Plus program is essentially a set of mutually recursive function definitions.