[1]
S. Riis, “Bootstrapping the Primitive Recursive Functions by 47 Colors”, BRICS, vol. 1, no. 25, Aug. 1994.