Jui-Yi Kao Jeffrey Shallit Zhi Xu http://arxiv.org/abs/0708.3224 2007 CoRR abs/0708.3224 db/journals/corr/corr0708.html#abs-0708-3224 informal publication