Modular session types for distributed object-oriented programming. - Simon J. Gay; Vasco Thudichum Vasconcelos; António Ravara; Nils Gesbert; Alexandre Z. Caldeira (POPL, 2010)