@mastersthesis{selgraduation22,
    author = {飯田元},
    title = {ＪＳＤにおける入力順序判定部作成過程の形式的記述},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 1988,
    month = mar,
    type = {Graduation Thesis},
}