Formal Derivation of a Generic Algorithmic Program for Solving a Class of Extremum Problems. - Chang-Jing Wang; Jin-Yun Xue (SNPD, 2009)