Hackett, Jennifer, Hutton, Graham, Jaskelioff, Mauro, "The under-performing unfold: a new approach to optimising corecursive programs", , 2013