Combining recursive and dynamic types - Leiß, Hans (CIS, 1992)