@article {IOPORT.05417739,
    author       = {J\'unior, Antonio Carvalho and Silva, Leila and Corn\'elio, M\'arcio},
    title        = {Using cafeobj to mechanise refactoring proofs and application.},
    year         = {2007},
    journal      = {Electronic Notes in Theoretical Computer Science},
    volume       = {184},
    pages        = {39-61},
    publisher    = {Elsevier, Amsterdam},
    doi          = {10.1016/j.entcs.2007.03.014},
    identifier   = {05417739},
}