We present two components of a special purpose formal method intended to support the modelling and development of distributed object-oriented systems. The first component is a language, called Oompa, in which designs for ...