1.

電子ブック
ＥＢ
1. Distributed Systems : Methods and Tools for Specification An Advanced Course
edited by M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider
出版情報: Berlin, Heidelberg : Springer-Verlag, 1985
シリーズ名: Lecture Notes in Computer Science ; 190
オンライン: http://dx.doi.org/10.1007/3-540-15216-4
2.

電子ブック
ＥＢ
2. International Symposium on Programming : 6th Colloquium Toulouse, April 17–19, 1984 Proceedings
edited by M. Paul, B. Robinet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1984
シリーズ名: Lecture Notes in Computer Science ; 167
オンライン: http://dx.doi.org/10.1007/3-540-12925-1
3.

電子ブック
ＥＢ
3. International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings. 1st ed. 1984
edited by M. Paul, B. Robinet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 167
オンライン: https://doi.org/10.1007/3-540-12925-1
4.

電子ブック
ＥＢ
4. Distributed Systems - Architecture and Implementation : An Advanced Course. 1st ed. 1981
by D.W. Davies, E. Holler, E.D. Jensen, S.R. Kimbleton, B.W. Lampson, G. LeLann, K.J. Thurber, R.W. Watson ; edited by B. W. Lampson, M. Paul, H. J. Siegert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981
シリーズ名: Lecture Notes in Computer Science ; 105
オンライン: https://doi.org/10.1007/3-540-10571-9
5.

電子ブック
ＥＢ
5. Mathematical Studies of Information Processing : Proceedings of the International Conference Kyoto, Japan, August 23–26, 1978
edited by E. K. Blum, M. Paul, S. Takasu
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 75
オンライン: http://dx.doi.org/10.1007/3-540-09541-1
6.

電子ブック
ＥＢ
6. Mathematical Studies of Information Processing : Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978. 1st ed. 1979
edited by E.K. Blum, M. Paul, S. Takasu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1979
シリーズ名: Lecture Notes in Computer Science ; 75
オンライン: https://doi.org/10.1007/3-540-09541-1