1. Some techniques for recursion removal from recursive functions;Arsac;ACM Trans. Programming Languages Syst.,1982
2. The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L;Bauer,1985
3. Algorithmic Language and Program Development;Bauer,1982
4. Tabulation techniques for recursive programs;Bird;ACM Comput. Surv.,1980
5. The promotion and accumulation strategies in transformational programming;Bird;ACM Trans. Programming Languages Syst.,1984