Zhicheng Wen Huaikou Miao Hongwei Zeng Generating Proof Obligation to Verify Object-Z Specification. 38 2006 conf/icsea/2006 ICSEA http://doi.ieeecomputersociety.org/10.1109/ICSEA.2006.43 db/conf/icsea/icsea2006.html#WenMZ06