Luigi Logrippo Renamings and Economy of Memory in Program Schemata. 10-22 1978 25 J. ACM 1 http://doi.acm.org/10.1145/322047.322049 db/journals/jacm/jacm25.html#Logrippo78