Graphen total rekursiver Funktionen - Maier, Werner (1981)