Algorithmic Learning Theory by Ming Li & A. Maruoka