António Ravara Vasco Thudichum Vasconcelos Behavioural Types for a Calculus of Concurrent Objects. 554-561 1997 conf/europar/1997 Euro-Par db/conf/europar/europar97.html#RavaraV97 http://dx.doi.org/10.1007/BFb0002782