Theoretical Computer Science, Volume 415

Volume 415, January 2012