林恒俊
ウィーン・メソッド入門 プログラミング言語のある形式的定義法
1976年12月号