"Formale Methodik des Entwurfs verteilter objektorientierter Systeme" - читать интересную книгу автора (Rumpe Bernhard)