Inlining Semantics for Subroutines which are Recursive (1992)

by Henry G. Baker
Venue:ACM Sigplan Notices