Type-theoretic foundations for concurrent object-oriented programming (1994)

by N Kobayashi, A Yonezawa
Venue:Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'94