Software Reflexion Models: Bridging the Gap between Source and High-Level Models. (1995)

by G C Murphy, D Notkin, K Sullivan
Venue:In Proc. of the ACM Symposium on the Foundations of Software Engineering,