Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister: Modelling open distributed systems in Z. Comput. Commun. 15(2): 103-113 (1992)