@inproceedings{sel17,
    author = {鷲坂光一 and 井上克郎 and 杉山裕二 and 鳥居宏次},
    title = {代数的記述に基づく抽象的順序機械の処理系の作成},
    booktitle = {情報処理学会  ソフトウェア工学	52-9},
    year = 1987,
    month = feb,
}