Ewen Denney Bernd Fischer 0002 Certifiable Program Generation. 17-28 2005 conf/gpce/2005 GPCE http://dx.doi.org/10.1007/11561347_3 db/conf/gpce/gpce2005.html#DenneyF05