H. A. Maurer, A. Salomaa, E. Welzl, and D. Wood, “Denseness, maximality, and decidability of grammatical families”, Ann. Fenn. Math., vol. 11, no. 2, pp. 167–178, Aug. 1986.