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