Takuya Katayama Hisashi Sasaki Global Storage Allocation in Attribute Evaluation. 26-37 1986 conf/popl/1986 POPL db/conf/popl/popl86.html#KatayamaS86 http://doi.acm.org/10.1145/512644.512647