Sørensen, I. H. (1981). Specification and Design of Distributed Systems. DAIMI Report Series, 10(141). https://doi.org/10.7146/dpb.v10i141.7416