Philip Bille, Inge Li Gørtz, Max Rishøj Pedersen: Fast Practical Compression of Deterministic Finite Automata. SOFSEM (1) 2025: 136-150