Riis, Søren. 1994. “Bootstrapping the Primitive Recursive Functions by 47 Colors”. BRICS Report Series 1 (25). https://doi.org/10.7146/brics.v1i25.21641.