Phong, A.; Searle, T.; McNally, M.; Pierce, R. P3_1 Feeling Lucky?. PST 2011, 9.