Sørensen, Ib Holm. “Specification and Design of Distributed Systems”. DAIMI Report Series 10, no. 141 (December 1, 1981). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7416.