Klaus Indermark Herbert Klaeren Efficient Implementation of Structural Recursion. 204-213 1987 conf/fct/1987 FCT db/conf/fct/fct87.html#IndermarkK87