@article{gibbons-2021-how, title={How to design co-programs}, volume={31}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796821000113}, DOI={10.1017/s0956796821000113}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={GIBBONS, JEREMY}, year={2021} }