TY - RPRT TI - On a construction of Friedman AU - Jeffrey Shallit AU - Ming-wei Wang PY - 2000 UR - https://arxiv.org/abs/math/0009090 ID - math/0009090 ER -