Software reflexion models: Bridging the gap between design and implementation (2001)

by G C Murphy, D Notkin, K J Sullivan
Venue:IEEE Transactions on Software Engineering