1. Angluin, D.: Inductive inference of formal languages from positive data. Information and Control 45, 117–135 (1980)
2. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 75, 87–106 (1987)
3. Bārzdiņš, J.: Inductive inference of automata, functions and programs. In: Proceedings of the 20th International Congress of Mathematicians, Vancouver, Canada, pp. 455–560 (1974);
4. English translation in American Mathematical Society Translations 2, 109, 107–112 (1977)
5. Birkhoff, G.: Lattice Theory. American Mathematical Society, Providence (1984)