ALPERN B について
IBM Thomas J. Watson Research Center, NY, USA について
WEGMAN M N について
IBM Thomas J. Watson Research Center, NY, USA について
ZADECK F K について
Brown Univ., RI, USA について
Conference Record of the Annual ACM Symposium on Principles of Programming Languages について
プログラム理論 について
計算理論 について