1. Optimization of chemical processes;Edgar,1988
2. Encyclopedia of Optimization,2001
3. Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung (in German);Hocks,1995
4. An assessment of the current status of algorithmic approaches to the verification of hybrid systems;Silva;Proc. IEEE Conf. on Decision and Control,2001