Text this: Algorithmic methods in optimal control /