A (co)algebraic theory of succinct automata - van Heerdt, Gerco; Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra (Journal of logical and algebraic methods in programming, 2019)