Processing Recursively Structured Data by Norbert Pfaffinger