I. H. Sørensen, “Specification and Design of Distributed Systems”, DPB, vol. 10, no. 141, Dec. 1981.