Baltic computer science : Selected papers / Ed.: J. Barzdins, D. Bjorner, 1991. - VIII, 619 p. 619 p. - Текст : непосредственный.
Partial evaluation and mixed computation : Proc. of the IFIP TC2 workshop on partial evaluation and mixed computation,Gammel Avernaes, Denmark, 18-24 Oct.,1987 / Ed. D. Bjorner, 1988. - XXIX,625 p. - Текст : непосредственный.
Perspectives of system informatics : Third Intern. Andrei Ershov memorial conf., PSI'99,Akademgorodok, Novosibirsk, Russia, July 1999Proc. / PSI'99, 2000. - XII,540 p. p. - Текст : непосредственный.
VDM and Z - formal methods in software development : 3 intern.symp. of VDM Europe, Kiel, Apr.17-21, 1990Proc / Ed. D. Bjorner, 1990. - 580 p. - Текст : непосредственный.
Bjorner D. Software engineering 1 : abstraction and modelling / D. Bjorner, 2006 r=on-line. - Текст : электронный.
Bjorner D. Software engineering 2 : specification of systems and languages / D. Bjorner, 2006 r=on-line
Logics of specification languages / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.