L. Allen, P. Edwards, and J. Wynn, “A1_1 Faster than a speeding bus”, PST, vol. 11, no. 1, Nov. 2012.