Dana Angluin Leonor Becerra-Bonache Adrian Horia Dediu Lev Reyzin Learning Finite Automata Using Label Queries. 171-185 2009 ALT http://dx.doi.org/10.1007/978-3-642-04414-4_17 conf/alt/2009 db/conf/alt/alt2009.html#AngluinBDR09