An Interoperable Calculus for External Object Access. - Atsushi Ohori; Kiyoshi Yamatodani (APLAS, 2002)