@phdthesis{selphd12,
    author = {高田智規},
    title = {プログラム解析の効率化に関する研究},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 2002,
    month = sep,
    type = {Doctoral Dissertation},
}