"Verified Analysis of Functional Data Structures."

Tobias Nipkow (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics