Chiyan Chen Hongwei Xi Combining programming with theorem proving. 66-77 2005 conf/icfp/2005 ICFP http://doi.acm.org/10.1145/1086365.1086375 db/conf/icfp/icfp2005.html#ChenX05