R.G.Dromey, "Formalizing the Transition from Requirements to Design"Archived 25 July 2011 at the Wayback Machine, in "Mathematical Frameworks for Component Software – Models for Analysis and Synthesis", Jifeng He, and Zhiming Liu (Eds.), World Scientific Series on Component-Based Development, pp. 156–187, (Invited Chapter) (2006)
R.G.Dromey, "Formalizing the Transition from Requirements to Design"Archived 25 July 2011 at the Wayback Machine, in "Mathematical Frameworks for Component Software – Models for Analysis and Synthesis", Jifeng He, and Zhiming Liu (Eds.), World Scientific Series on Component-Based Development, pp. 156–187, (Invited Chapter) (2006)