A Theory of Distributed Objects by Ludovic Henrio & Denis Caromel