A general framework for the derivation of regular expressionsPascal Caron, Jean-Marc Champarnaud and Ludovic MignotRAIRO-Theor. Inf. Appl., 48 3 (2014) 281-305DOI: https://doi.org/10.1051/ita/2014010
