Vitalsource Technologies, Inc. General Pontryagin-type Stochastic Maximum Principle And Backward Stoch