1. Lectures Notes in Computer Science,1990
2. Lecture Notes on Computer Science;D. Bjørner,1986
3. D. Bjørner. Software development graphs — a unifying concept for software development? In K.V. Nori, editor, Vol. 241 of Lecture Notes in Computer Science: Foundations of Software Technology and Theoretical Computer Science, pages 1–9. Springer-Verlag, Heidelberg, Germany, Dec. 1986.
4. D. Bjørner. On the use of formal methods in software development. In Proc. of 9th International Conf. on Software Engineering, Monterey, California. IEEE, April 1987.
5. D. Bjørner. The stepwise development of software development graphs — meta-programming VDM developments. In [11], pages 77–96. Springer-Verlag, Heidelberg, Germany, 1987.