An Auto-picking Stacking velocity Algorithm Based on an AI and PR Approach. - L. Wu; Z. Luo; J. Zhou; H. Wang (Int. J. Pattern Recognit. Artif. Intell., 1989)

Bylands: reverse engineering safety-critical systems. - Tim M. Bull; E. J. Younger; Keith H. Bennett; Z. Luo (ICSM, 1995)

Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. - E. J. Younger; Z. Luo; Keith H. Bennett; Tim M. Bull (WCRE, 1996)

A Formal Transformation and Refinement Method for Concurrent Programs. - E. J. Younger; Keith H. Bennett; Z. Luo (ICSM, 1997)