Madhavan MukundBooksFormal Models, Languages and Applications. Series in Machine Perception and Artificial Intelligence, Volume 66FST TCS 2001Formal models, languages and applicationsFST TCS 2001 : Foundations of Software Technology and Theoretical Computer ScienceAuthor data: Open Library
