Functional analysis and time optimal control - Hermes, Henry (Academic Press, 1969)