A Theory of Distributed Objects (Springer Berlin Heidelberg, 2020)