Lingyu Sun, Ming Leng. Formal Derivation of the Maximal Contiguous Subsequence Sum Problem with PAR Method. In Yongchuan Tang, Jonathan Lawry, editors, 2009 Second International Symposium on Computational Intelligence and Design, ISCID 2009, Changsha, Hunan, China, 12-14 December 2009, 2 Volumes. pages 3-5, IEEE Computer Society, 2009. [doi]