@mastersthesis{selgraduation61,
    author = {小林 孝規},
    title = {入出力変数の制限情報を利用したプログラム簡素化ツールの試作},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 1995,
    month = feb,
    type = {Graduation Thesis},
}