@article{weko_6277_1, author = "二木,厚吉 and 外山,芳人", title = "非手続き型プログラミングのための計算モデル:項書き換え型計算モデルとその応用", journal = "情報処理", year = "1983", volume = "24", number = "2", month = "feb" }