@article{paperbot730,
  title = {How to find a fake coin},
  author = {RICHARD S. BIRD},
  journal = {Journal of Functional Programming},
  volume = {29},
  year = {2019},
  doi = {10.1017/s0956796819000030}
}