"Polymorphic regular tree types and patterns."

Jerome Vouillon (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics