Contract-Based Verification for Aspect-Oriented Refactoring. - Naoyasu Ubayashi; Jinji Piao; Suguru Shinotsuka; Tetsuo Tamai (ICST, 2008)