"Defining and Reasoning About Recursive Functions: A Practical Tool for the ..."

Gilles Barthe et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics