Christof Löding, Anton Pirogov: On Finitely Ambiguous Büchi Automata. DLT 2018: 503-515