Lagrangian analysis and quantum mechanics - Leray, Jean (MIT press London, 1981)