Each regular code is included in a maximal regular codeA. Ehrenfeucht and G. RozenbergRAIRO-Theor. Inf. Appl., 20 1 (1986) 89-96DOI: https://doi.org/10.1051/ita/1986200100891
