K.: Software reflexion models: Bridging the gap between source and high-level models (1995)

by G Murphy, D Notkin, Sullivan
Venue:In: Proceedings of Third ACM SIGSOFT Symposium on the Foundations of Software Engineering (SIGSOFT), ACM