A Theory of Distributed Objects - Caromel, Denis; Henrio, Ludovic; Cardelli, Luca (Springer Berlin Heidelberg, 2005)