1. Adámek, J., Lücke, D., Milius, S.: Recursive coalgebras of finitary functors. ITA 41(4), 447–462 (2007)
2. Adámek, J., Milius, S., Moss, L.S., Sousa, L.: Well-pointed coalgebras. Logical Methods Comput. Sci. 9(3) (2013)
3. Cambridge Tracts in Mathematics;J Adámek,1994
4. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987)
5. Angluin, D., Eisenstat, S., Fisman, D.: Learning regular languages via alternating automata. In: Yang, Q., Wooldridge, M. (eds.) IJCAI 2015, pp. 3308–3314. AAAI Press (2015)