https://bookem.ir/books/2674187-Computer-programming-and-formal-systems