Silva A, Pous D, Caltais G, Bonchi F.? 2013.??Brzozowski's and up to algorithms for must testing. APLAS - 11th Asian Symposium on Programming Languages and Systems. 8301