Auxiliary variables and recursive procedures (1997)

by Thomas Schreiber
Venue:In TAPSOFT’97, volume 1214 of LNCS