@inbook{gibbons-2022-breadth, title={Breadth-First Traversal via Staging}, ISBN={9783031169120}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-16912-0_1}, DOI={10.1007/978-3-031-16912-0_1}, booktitle={Mathematics of Program Construction}, publisher={Springer International Publishing}, author={Gibbons, Jeremy and Kidney, Donnacha Oisín and Schrijvers, Tom and Wu, Nicolas}, year={2022}, pages={1–33} }