1. Bjørner, D. (2006). Software engineering, Vol. 1: Abstraction and modelling; Vol. 2: Specification of systems and languages; Vol. 3: Domains, requirements and software design (Texts in theoretical computer science, the EATCS series). Berlin/New York: Springer.
2. Bjørner, D. (2008). From domains to requirements. In P. Degano, Rocco De Nicola, & J. Meseguer (Eds.), Montanari festschrift (Lecture notes in computer science, pp. 1–30). Heidelberg: Springer.
3. Bjørner, D. (2009). On mereologies in computing science. In B. Roscoe (Ed.), Festschrift for Tony Hoare (History of computing london). UK: Springer.
4. Bjørner, D. (2010). The role of domain engineering in software development. Why current requirements engineering seems flawed!. In Perspectives of systems informatics (Volume 5947 of lecture notes in computer science, pp. 2–34). Heidelberg: Springer.
5. Bjørner, D., & Eir, A. (2010). Compositionality: Ontology and mereology of domains. Some clarifying observations in the context of software engineering in July 2008. In M. Steffen, D. Dams, & U. Hannemann (Eds.), Festschrift for Prof. Willem Paul de Roever concurrency, compositionality, and correctness (Volume 5930 of lecture notes in computer science, pp. 22–59). Heidelberg: Springer.