Correct Architecture Refinement (1995)

by M Moriconi, X Qian, R A Riemenschneider
Venue:IEEE Transactions on Software Engineering