1.

電子ブック
ＥＢ
1. Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1181
オンライン: http://dx.doi.org/10.1007/3-540-62064-8
2.

電子ブック
ＥＢ
2. Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 735
オンライン: http://dx.doi.org/10.1007/BFb0039695
3.

電子ブック
ＥＢ
3. Baltic Computer Science : Selected Papers
edited by Janis Bārzdinš, Dines Bjørner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 502
オンライン: http://dx.doi.org/10.1007/BFb0019352
4.

電子ブック
ＥＢ
4. VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings
edited by Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 252
オンライン: http://dx.doi.org/10.1007/3-540-17654-3
5.

電子ブック
ＥＢ
5. The Vienna Development Method: The Meta-Language
edited by Dines Bjørner, Cliff B. Jones
出版情報: Berlin, Heidelberg : Springer-Verlag, 1978
シリーズ名: Lecture Notes in Computer Science ; 61
オンライン: http://dx.doi.org/10.1007/3-540-08766-4