T. S. E. Maibaum. The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets. In 13th Annual Symposium on Switching and Automata Theory, 25-27 October 1972, The University of Maryland, USA. pages 224-230, IEEE, 1972.
Abstract is missing.