Formal Derivation of the Combinatorics Problems with PAR Method. - Lingyu Sun; Yatian Sun (J. Softw. Eng. Appl., 2009)