Detail

@mastersthesis{selgraduation18,
    author = {御井敬},
    title = {自然語で書かれたプログラム仕様から代数的仕様への変換システムにおけるコマンドインタプリタ部の作成},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 1987,
    month = mar,
    type = {Graduation Thesis},
}