G.: Manipulating trees with hidden labels (0)

by L Cardelli, M Fiore, Winskel
Venue:ETAPS 2003 and FOSSACS 2003. LNCS