Le Han, Shujun Bi, Shaohua Pan: Nonsingularity of FB system and constraint nondegeneracy in semidefinite programming. Numer. Algorithms 62(1): 79-113 (2013)