Michal Koucký: Circuit complexity of regular languages. Handbook of Automata Theory (I.) 2021: 493-523