https://bookem.ir/books/2147011-Mathematics-of-Program-Construction