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

by G C Murphy, D Notkin, K Sullivan
Venue:Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering