Maurer, H. A.; Salomaa, A.; Welzl, E.; Wood, D. Denseness, Maximality, and Decidability of Grammatical Families. Ann. Fenn. Math. 1986, 11, 167-178.