A. Phong, T. Searle, M. McNally, and R. Pierce, “P3_1 Feeling Lucky?”, PST, vol. 9, no. 1, Mar. 2011.