https://123dok.net/document/zggw7enz-automatic-generation-of-bulk-synchronous-parallel-code.html