高須達
プログラムの基礎理論と人工知能
1973年02月号
ソビエトの計算機界の動向
1973年08月号
1957～1960と1977～1980
1978年01月号
IFIP TC-2 WG2.2 1978定期会議
1978年11月号
座談会 D.スコット博士を囲んで スコットのプログラム意味論
1981年09月号