Mathematical Foundations of Computer Science - Bhavanari Satyanarayana; T.V. Pradeep Kumar; Shaik Mohiddin Shaw (Taylor and Francis, 2020)