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