Takuya Katayama Hisashi Sasaki Global Storage Allocation in Attribute Evaluation. 26-37 1986 POPL db/conf/popl/popl86.html#KatayamaS86