Maurer, H. A., A. Salomaa, E. Welzl, and D. Wood. “Denseness, Maximality, and Decidability of Grammatical Families”. Annales Fennici Mathematici, vol. 11, no. 2, Aug. 1986, pp. 167-78, doi:10.5186/aasfm.1986.1114.