@mastersthesis{selmasters22,
    author = {高谷 暢之},
    title = {入出力の制限情報を利用したプログラム簡素化手法の提案},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 1994,
    month = feb,
    type = {Master Thesis},
}