A Formal Software Development Approach Based on COOZ and Refinement Calculus. - Yunfeng Wang; Bixin Li; Jun Pang 001; Ming Zha; Guoliang Zheng (TOOLS (31), 1999)

A Formal Software Development Approach Using Refinement Calculus. - Yunfeng Wang; Jun Pang 001; Ming Zha; Zhaohui Yang; Guoliang Zheng (J. Comput. Sci. Technol., 2001)

A Research on Construction of SOAs for Enterprises in China. - Xin Liu; Ming Zha; Tingjie Lu; Wei Fan (CONFENIS (2), 2007)