Formal Models, Languages and Applications. Series in Machine Perception and Artificial Intelligence, Volume 66by K. G. Subramanian, K. Rangarajan, Madhavan MukundWriting a summary for young readers…For young readersBook data: Open Library