"Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes."

Ralf Hinze, Nicolas Wu, Jeremy Gibbons (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics