Bernard D. Coleman
Akinori Yonezawa, Mario Tokoro
Acm Symposium on Principles of Programming Languages