Theory of computer science - Mishra K L P (1993)