Teng, Guifa, Liu, Xiaodong, "Support software evolution with abstraction rules and program knowledge patterns.", , 2002