Algorithmic Learning Theory - Hutter, Marcus (Springer Berlin Heidelberg, 2020)