"The Under-Performing Unfold: A new approach to optimising corecursive ..."

Jennifer Hackett, Graham Hutton, Mauro Jaskelioff (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics