@mastersthesis{selmasters8,
    author = {稲田良造},
    title = {ジャクソンシステム開発法の形式的記述に対する詳細化と実行に関する研究},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 1989,
    month = feb,
    type = {Master Thesis},
}