https://bookem.ir/books/1150798-Parallel-Algorithm-Derivation-and-Program-Transformation