Verteilungstransparenz bei der objektorientierten Spezifikation verteilter Applikationen.