Liu, Xiaodong, Yang, Hongji, Zedan, Hussein and Cau, Antonio (2000) Speed and scale up software re-engineering with abstraction patterns and rules. In: International Symposium on Principles of Software Evolution. IEEE Computer Society, Kanazawa, Japan, p. 90. ISBN 0-7695-0906-1

Chen, Zhiqiang, Cau, Antonio, Zedan, Hussein, Liu, Xiaodong and Yang, Hongji (1998) A refinement calculus for the development of real-time systems. In: 5th Asia Pacific Software Engineering Conference, APSEC '98. IEEE Computer Society, p. 61.