1-3 of 3 Books

Bifurcation of extremals in optimal control
By Jacob Kogan

Axiomatising the logic of computer programming
By Robert Goldblatt

Modelling, robustness, and sensitivity reduction in control systems
By NATO Advanced Research Workshop on Modelling, Robustness, and Sensitivity Reduction in Control Systems (1986 Groningen, Netherlands)