Relating Domain Concepts Intensionally by Ordering Connections. - Asger Eir (Formal Methods and Hybrid Real-Time Systems, 2007)

Compositionality: Ontology and Mereology of Domains. - Dines Bjørner; Asger Eir (Concurrency, Compositionality, and Correctness, 2010)