Gao, et al.. Partial Learning of Recursively Enumerable Languages. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-40935-6_9.