@inproceedings{sel59,
    author = {稲田良造 and 荻原剛志 and 井上克郎 and 菊野亨 and 鳥居宏次},
    title = {ジャクソン開発法の形式的記述の詳細化とその実行},
    booktitle = {電子情報通信学会ＣＯＭＰ８８−７４ ＳＳ８８−３６},
    year = 1988,
    month = dec,
}