1-3 of 3 Books

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)

Axiomatising the logic of computer programming
By Robert Goldblatt

Bifurcation of extremals in optimal control
By Jacob Kogan