https://bookem.ir/books/2146754-Relational-Methods-in-Computer-Science