@mastersthesis{selmasters12,
    author = {河野俊二},
    title = {分野固有の知識に基づくプログラム仕様の変換に関する研究},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 1990,
    month = feb,
    type = {Master Thesis},
}