Injective envelopes of transition systems and Ferrers languagesMustapha Kabil and Maurice PouzetRAIRO-Theor. Inf. Appl., 54 (2020) 4DOI: https://doi.org/10.1051/ita/2020005
