Theses

1. Karl R.P.H. Leung, Domain Modelling -- with a Case Study in Air Traffic, PhD Thesis, The University of Hong Kong, 1997.

2. Karl R.P.H. Leung, "Towards a Semantics Bridge Between Structured Specifications and Logic Specifications", MPhil Thesis, The University of Hong Kong, 1992.