John Feo David Harper Simon Kahan Petr Konecny 28-34 2005 conf/cf/2005 Conf. Computing Frontiers http://doi.acm.org/10.1145/1062261.1062268 db/conf/cf/cf2005.html#FeoHKK05