@misc{indiciae344f54b950b4,
  title = {Ordering of nested square roots of 2 according to Gray code},
  author = {Pierluigi Vellucci and Alberto Maria Bersani},
  year = {2016},
  doi = {10.1007/s11139-016-9862-5},
  url = {https://arxiv.org/abs/1604.00222},
  note = {Source identifier: 1604.00222}
}