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