Michal Vajbar: Using Top Trees For Easy Programming of Tree Algorithms. DATESO 2009: 68-79