@InProceedings{baseConvCollatz,
  author ={Tristan St\'erin and Damien Woods},
  title ={The {C}ollatz process embeds a base conversion algorithm},
  booktitle ={The 14th International Conference on Reachability Problems},
  pages ={131--147},
  series ={LNCS},
  year ={2020},
  volume ={12448},
  editor ={Igor Potapov and Sylvain Schmitz},
  publisher ={Springer},
  series = {Lecture Notes in Computer Science (LNCS)},  
  note={Arxiv preprint: \href{https://arxiv.org/abs/2007.06979}{\tt arXiv:2007.06979}}
}