A survey of grammatical inference in software engineering
Language identification in the limit