Algorithmic learning theory by Arun K. Sharma & Hiroki Arimura