Lingyu Sun, Ming Leng: Formal Derivation of the Maximal Contiguous Subsequence Sum Problem with PAR Method. ISCID (1) 2009: 3-5