@mastersthesis{selmasters4,
    author = {鷲坂光一},
    title = {代数的記述に基づく抽象的順序機械の処理系の設計},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 1987,
    month = feb,
    type = {Master Thesis},
}