Program specification and transformation

• W. Ma and Z. Luo. Modelling and Collaborative Programming for Control-Oriented Systems. Proc of 15th EAI International Conference on Collaborative Computing. London, 2019.


• E.J. Younger, K.H. Bennett, and Z. Luo. A formal transformation and refinement method for re-engineering concurrent programs. Proc. of IEEE ICSM'97, Bari, Italy, 1997.


• E. Younger, Z. Luo, K. Bennett, and T. Bull. Reverse engineering concurrent programs using formal modelling and analysis. Proc. of IEEE ICSM'96, Canada, 1996.


• T. Bull, E. Younger, K. Bennett, and Z. Luo. Bylands: reverse engineering safety-critical systems. Proc. of IEEE ICSM'95, Opino, France, 1995.


• Z. Luo. Program specification and data refinement in type theory. Mathematical Structures in Computer Science, 3(3), 1993.


• Z. Luo. Program specification and data refinement in type theory. Proc. of TAPSOFT'91, LNCS 493. 1991. (Also as ECS-LFCS-91-131, Dept. of Computer Science, Edinburgh Univ.)


• H. Chen, Z. Luo, and Q. Ma. The Foundations of Programming Methodology. Press of Science and Technology, 1987. (In Chinese. ISBN 7 53 570105 1)