Capretta, Venanzio, Hutton, Graham, Jaskelioff, Mauro, "Contractive Functions on Infinite Data Structures", Symposium on Implementation and Application of Functional Languages Proceedings, 2016