A Static Type System for Message Passing.

Giorgio Ghelli A Static Type System for Message Passing. 129-145 1991 OOPSLA db/conf/oopsla/oopsla91.html#Ghelli91