@inproceedings{sel5,
    author = {安松一樹 and 杉山裕二 and 鳥居宏次},
    title = {抽象的順序機械から関数型プログラムへの変換システム},
    booktitle = {情報処理学会第３２回（昭和６１年前期）全国大会},
    year = 1986,
    month = mar,
}