Ein Werkzeug zum Entwerfen von Software für verteilte Systeme - Rombach, H. D. (Interner Bericht. Fachbereich Informatik, Universität Kaiserslautern, 1981)