Sørensen, I. H. Specification and Design of Distributed Systems. DPB 1981, 10.