右辺のみに現れる変数を持つ項書換え系の計算モデル - 酒井, 正彦; 坂部, 俊樹; 西田, 直樹 (日本ソフトウェア科学会大会講演論文集, 2002)