https://bookem.ir/books/2504444-Discrete-Mathematics-and-Functional-Programming