1.

電子ブック
ＥＢ
1. Mathematical Foundations of Programming Semantics : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings
edited by M. Main, A. Melton, M. Mislove, D. Schmidt
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 442
オンライン: http://dx.doi.org/10.1007/BFb0040251
2.

電子ブック
ＥＢ
2. Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings
edited by M. Main, A. Melton, M. Mislove, D. Schmidt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 298
オンライン: http://dx.doi.org/10.1007/3-540-19020-1