@inproceedings{sel13,
    author = {鷲坂光一 and 杉山裕二 and 鳥居宏次},
    title = {代数的記述に基づく抽象的順序機械の処理系の設計},
    booktitle = {情報処理学会第３３回（昭和６１年後期）全国大会},
    year = 1986,
    month = oct,
}