From Tiziano Vargiolu
Definition of local martingale. Construction of the stochastic integral for a process with locally square integrable sample paths.