1. Anon: C.C.I.T.T. High Level Language (CHILL), Recommendation Z.200, Red Book Fascicle VI.12. See [47], ITU (Intl. Telecmm. Union), Geneva, Switzerland (1980–1985)
2. Bjørner, D.: Programming languages: formal development of interpreters and compilers. In: Morlet, E., Ribbens, D. (eds.) International Computing Symposium, vol. 77, pp. 1–21. European ACM, North-Holland Publ. Co., Amsterdam (1977)
3. Bjørner, D.: Formal software techniques in railway systems. In: Schnieder, E. (ed.) 9th IFAC Symposium on Control in Transportation Systems, pp. 1–12. VDI/VDEGesellschaft Mess- und Automatisieringstechnik, VDIGesellschaft für Fahrzeug- und Verkehrstechnik, Technical University, Braunschweig, Germany (13–15 June 2000), invited talk
4. Bjørner, D.: Domain models of “the market" – in preparation for e-transaction systems. In: Kilov, H., Baclawski, K. (eds.) Practical Foundations of Business and System Specifications. Kluwer Academic Press, The Netherlands (December 2002), Final draft version. http://www2.imm.dtu.dk/~db/themarket.pdf
5. Bjørner, D.: Dynamics of railway nets: on an interface between automatic control and software engineering. In: Tsugawa, S., Aoki, M. (eds.) CTS2003: 10th IFAC Symposium on Control in Transportation Systems. Elsevier Science Ltd., Oxford, UK (August 4–6 2003). https://doi.org/10.1016/S1474-6670(17)32424-2 , Symposium Held at Tokyo, Japan. Final version. http://www2.imm.dtu.dk/~db/ifac-dynamics.pdf