1. Dines Bjørner. Domain Engineering, Elements of a Software Engineering Methodology — Towards Principles, Techniques and Tools—A Study in Methodology. Research report, Dept. of Computer Science & Technology, Technical University of Denmark, Bldg. 343, DK-2800 Lyngby, Denmark, 2000. One in a series of summarising research reports [14], [15]. 4, 15, 16, 17
2. Dines Bjørner. Domain Modelling: Resource Management Strategics, Tactics & Operations, Decision Support and Algorithmic Software. In J. C. P. Woodcock, editor, Festschrift to Tony Hoare. Oxford University and Microsoft, September 13–14 1999. 5, 16
3. Lect Notes Comput Sci;D. Bjørner,1998
4. Michael A. Jackson. Software Requirements & Specifications: a lexicon of practice, principles and prejudices. ACM Press. Addison-Wesley Publishing Company, Wokingham, nr. Reading, England; E-mail: emipc@awpub.add-wes.co.uk, 1995. ISBN 0-201-87712-0; xiv + 228 pages. 15, 16
5. Dines Bjørner, Souleymane Koussoube, Roger Noussi, and Gueorgui Satchok. Jackson’s Problem Frames: Domain, Requirements and Design. In Shaoying Liu, editor, International Conference on Formal Engineering Methods: ICFEM’97,Washington D. C., USA, 12–14 November 1997. IEEE Computer Science Press; IEEE sponsored conference, Hiroshima, Japan. 15, 16