Optimality conditions and global convergence for nonlinear semidefinite programming - Viana, Daiana S. (2020)