On the coderivative of the projection operator onto the second-order cone - Outrata, J.V. (2014)
10.1007/s11228-008-0092-x