"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