Sylvain Lombardy, Jean Mairesse: Max-plus automata. Handbook of Automata Theory (I.) 2021: 151-188