Atsushi Ohori Kiyoshi Yamatodani An Interoperable Calculus for External Object Access. 127 2002 conf/aplas/2002 APLAS db/conf/aplas/aplas2002.html#OhoriY02