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