Gruberand Holzer. From Finite Automata to Regular Expressions and Back—a Summary on Descriptional Complexity. Open Publishing Association, May 2014, doi:10.4204/eptcs.151.2.