Hamilton. Distilling Programs for Verification. Elsevier BV, 2007, doi:10.1016/j.entcs.2007.09.005.