J. C. Blanchette, C. Kaliszyk, L. C. Paulson, and J. Urban, “Hammering towards QED”, JFR, vol. 9, no. 1, pp. 101–148, Jan. 2016.