1. J.-R. Abrial, The B Book: Assigning Programs to Meanings and Modeling in Event-B: System and Software Engineering, Cambridge University Press, Cambridge (1996 and 2009).
2. P. Bernus and L. Nemes (eds.), “Modeling and methodologies for enterprise integration,” in: Proc. IFIP TC5 Working Conference on Models and Methodologies for Enterprise Integration, Chapman & Hall, Queensland, Australia, November 1995, London (1996).
3. D. Bjørner, “Domain science and engineering. From computer science to the sciences of informatics. Part I: Engineering,” Cybern. Syst. Analysis, 46, No. 4, 100–116 (2010).
4. D. Bjørner, Software Engineering, Vol. 3: Domains, Requirements and Software Design, Texts in Theoretical Computer Science, the EATCS Series, Springer (2006).
5. D. Bjørner, Domain Theory: Practice and Theories, Discussion of Possible Research Topics, in: J.C.P. Woodcock et al. (eds.), ICTAC’2007, Lecture Notes in Computer Science, Vol. 4701, September 2007, Springer, Heidelberg (2007), pp. 1–17. Springer. Final Version.