publication venue for The characterisation of the derivation trees of context free sets of terms as regular sets 1972