Hamilton, 2007. Distilling Programs for Verification 190.. https://doi.org/10.1016/j.entcs.2007.09.005