@mastersthesis{selgraduation28,
    author = {高木千春},
    title = {自然語の仕様からプログラムへの変換システムの開発−形式的仕様への変換部における機能強化について−},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 1989,
    month = feb,
    type = {Graduation Thesis},
}