Top-Down Tree-Transducers for Infinite Trees I. - J. Bilstein; Werner Damm (CAAP, 1981)