Moriconi, M. ; X. Qian, and R. A. Riemenschneider. Correct Architecture Refinement. IEEE Transactions on Software Engineering, pages 356-372, April 1995

Languages mentioned

• C2 SADL {1996}