Formal Derivation of the Maximal Contiguous Subsequence Sum Problem with PAR Method | IEEE Conference Publication | IEEE Xplore