Theoretical Computer Science - Calude, Cristian S. (Springer Berlin Heidelberg, 2010)