Injective envelopes of transition systems and Ferrers languages Mustapha Kabil and Maurice Pouzet RAIRO-Theor. Inf. Appl., 54 (2020) 4 Published online: 19 May 2020 DOI: 10.1051/ita/2020005