Naoki Kobayashi Akinori Yonezawa Type-Theoretic Foundations for Concurrent Object-Oriented Programming. 31-45 1994 OOPSLA db/conf/oopsla/oopsla94.html#KobayashiY94