Functional Itô calculus and stochastic integral representation of martingales · Study