Algorithmic Learning Theory by Michael M. Richter, C.H. Smith & R. Wiehagen