Yasushi Hayashi Murray Cole Automated Cost Analysis of a Parallel Maximum Segment Sum Program Derivation. 95-111 2002 12 Parallel Processing Letters 1 http://dx.doi.org/10.1142/S0129626402000859 db/journals/ppl/ppl12.html#HayashiC02