R.V. Gamkrelidze, The Pontryagin derivative in optimal control