Formal Models, Languages and Applications. Series in Machine Perception and Artificial Intelligence, Volume 66K. G. Subramanian, K. Rangarajan, Madhavan Mukund · First published 2010Open the Tome
FST TCS 2001 : Foundations of Software Technology and Theoretical Computer ScienceRamesh Hariharan, Madhavan Mukund, V. Vinay · First published 2003Open the Tome