Sørensen, Ib Holm

• DAIMI Report Series No. 141 (1981): PB-141 Specification and Design of Distributed Systems - Articles
  Specification and Design of Distributed Systems
  Abstract  PDF
• DAIMI Report Series No. 87 (1978): PB-87 System Modelling: A methodology for describing the structure of complex Software, Firmware, and Hardware systems.. - Articles
  System Modelling: A methodology for describing the structure of complex Software, Firmware, and Hardware systems consisting of independent process components
  Abstract  PDF