Formal Models, Languages and Application by Madhavan Mukund