gibbons-2022-breadth:
  type: chapter
  title: Breadth-First Traversal via Staging
  author:
  - Gibbons, Jeremy
  - Kidney, Donnacha Oisín
  - Schrijvers, Tom
  - Wu, Nicolas
  date: 2022
  page-range: 1-33
  url: http://dx.doi.org/10.1007/978-3-031-16912-0_1
  serial-number:
    doi: 10.1007/978-3-031-16912-0_1
    isbn: '9783031169120'
    issn: 1611-3349
  parent:
    type: book
    title: Mathematics of Program Construction
    publisher: Springer International Publishing