A static type system for message passing (1991)

by G Ghelli
Venue:In Proc. of OOPSLA '91