@mastersthesis{selgraduation57,
    author = {永島 淳},
    title = {構造化分析/設計法に基づいた開発プロセスのペトリネットによる記述},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 1994,
    month = feb,
    type = {Graduation Thesis},
}