A.W.Biermann
プログラムの基礎理論と人工知能
1973年02月号