Junhua Ding Lian Mo Xudong He An approach for specification construction using property-preserving refinement patterns. 797-803 2008 SAC http://doi.acm.org/10.1145/1363686.1363869 conf/sac/2008 db/conf/sac/sac2008.html#DingMH08