Bonchi F, Bonsangue M, Rutten J, Silva A.? 2011.??Brzozowski's algorithm (co)algebraically. Software Engineering [SEN]. :1-13.