A structural model for methodology-based interactive rigorous software development - Jun Han 011 (1992)

Object Organisation in Software Environments for Formal Methods. - Jun Han 011; Jim Welsh (TAPSOFT, 1993)

Software Documents: Concepts and Tools. - Jim Welsh; Jun Han 011 (Softw. Concepts Tools, 1994)