@inproceedings{sel74,
    author = {馮安 and 井上克郎 and 菊野亨 and 鳥居宏次},
    title = {ソフトウェア開発法の形式的記述のためのモデルの提案},
    booktitle = {電子情報通信学会春季全国大会},
    year = 1989,
    month = mar,
}