@mastersthesis{selgraduation14,
    author = {野村研仁},
    title = {代数的仕様記述の詳細化支援システムの試作},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 1986,
    month = mar,
    type = {Graduation Thesis},
}