https://bookem.ir/books/1671687-Theory-of-Formal-Systems-Am-47-Volume-47