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