@inbook{hinze-2012-kan, title={Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick}, ISBN={9783642311130}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-642-31113-0_16}, DOI={10.1007/978-3-642-31113-0_16}, booktitle={Mathematics of Program Construction}, publisher={Springer Berlin Heidelberg}, author={Hinze, Ralf}, year={2012}, pages={324–362} }