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