@inproceedings{sel16,
    author = {石木信之 and 並河英二 and 関浩之 and 杉山裕二 and 藤井護 and 鳥居宏次 and 中小路久美代},
    title = {プログラム仕様に用いる自然語の処理システム  −代数的仕様への変換と知識管理−},
    booktitle = {情報処理学会  ソフトウェア工学	52-6},
    year = 1987,
    month = feb,
}