Correct architecture refinement (1995)

by M Moriconi, X Qian, R Riemenschneider
Venue:IEEE Trans. on Software Eng