Property testing of Tree Regular Languages
Supplementary references:
Beam – Specimen Interactions Signals
Adrian Bevan Queen Mary, University of London