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