@mastersthesis{selmasters21,
    author = {植田 良一},
    title = {再帰を含むプログラムのスライスを求めるアルゴリズムの提案},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 1994,
    month = feb,
    type = {Master Thesis},
}