Location transparency and transactions as first-class concepts in object-oriented programming languages door J. Boydens