1. Learning regular sets from queries and counterexamples;Angluin;Inf. Comput.,1987
2. When won't membership queries help?;Angluin;J. Comput. Syst. Sci.,1995
3. Computational Complexity: A Modern Approach, vol. 1;Arora,2009
4. Angluin-style learning of nfa;Bollig,2009
5. Algebra-coalgebra duality in Brzozowski's minimization algorithm;Bonchi,2013