Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings - Roychoudhury, Abhik; D’Souza, Meenakshi (Springer Berlin Heidelberg : Imprint: Springer, 2012)