S. Riis, “Bootstrapping the Primitive Recursive Functions by 47 Colors”, BRICS, bd. 1, nr. 25, aug. 1994.