Andrea Asperti: The Speedup Theorem in a Primitive Recursive Framework. CPP 2015: 175-182