@article{hinze-2013-adjoint, title={Adjoint folds and unfolds—An extended study}, volume={78}, ISSN={0167-6423}, url={http://dx.doi.org/10.1016/j.scico.2012.07.011}, DOI={10.1016/j.scico.2012.07.011}, number={11}, journal={Science of Computer Programming}, publisher={Elsevier BV}, author={Hinze, Ralf}, year={2013}, month=Nov, pages={2108–2159} }