José L. Balcázar Josep Díaz Ricard Gavaldà Algorithms for Learning Finite Automata from Queries: A Unified View. 53-72 1997 Advances in Algorithms, Languages, and Complexity db/conf/birthday/book97.html#BalcazarDG97