Author: Boris S. Mordukhovich Hector J. Sussmann