@misc {IOPORT.70022156,
    author       = {Ruhroth, Thomas and Wehrheim, Heike},
    title        = {Refactoring object-oriented specifications with data and processes},
    howpublished = {FMOODS, 236-251 (2007).},
    year         = {2007},
    doi          = {10.1007/978-3-540-72952-5_15},
    identifier   = {70022156},
}