Thomas Schreiber Auxiliary Variables and Recursive Procedures. 697-711 1997 conf/tapsoft/1997 TAPSOFT db/conf/tapsoft/tapsoft97.html#Schreiber97 http://dx.doi.org/10.1007/BFb0030635