Inheritance and Modularity in Specification and Verification of OO Programs. - Yijing Liu; Ali Hong; Zongyan Qiu (TASE, 2011)

Modular Verification of OO Programs with Interfaces. - Zongyan Qiu; Ali Hong; Yijing Liu (ICFEM, 2012)

Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. - Ali Hong; Yijing Liu; Zongyan Qiu (FACS, 2013)