Finite-state Transducers as Regular Böhm Trees (1997)

by G Huet, H Laulhère
Venue:Proceedings of TACS’97