足立髙德
座談会 D.スコット博士を囲んで スコットのプログラム意味論
1981年09月号