https://bookem.ir/books/2148076-Design-and-Implementation-of-Symbolic-Computation-Systems