Finite-State Transducers as Regular Böhm Trees. - Gérard P. Huet; Henri Laulhère (TACS, 1997)