Theoretical Computer Science by Carlo Blundo