. . "Languages such as ML or Lisp permit the use of recursively defined" . . .