@inproceedings{sel66,
    author = {飯田元 and 井上克郎 and 菊野亨 and 鳥居宏次},
    title = {ジャクソンシステム開発法の代数的言語による記述の試み},
    booktitle = {情報処理学会第３７回（昭和６３年後期）全国大会},
    year = 1988,
    month = sep,
}