https://bookem.ir/books/1730562-Parallel-algorithm-derivation-and-program-transformation