Necessary conditions of optimal control governed by some semilinear elliptic differential equations - Wang, Gengsheng.