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