@inproceedings{sel26,
    author = {稲田良造 and 杉山裕二 and 鳥居宏次},
    title = {代数的仕様記述法に基づく抽象的順序機械へのシステムコールなどの導入},
    booktitle = {情報処理学会第３５回（昭和６２年後期）全国大会},
    year = 1987,
    month = sep,
}