A Martingale Review of some Fluctuation Theory for Spectrally Negative Lévy Processes · Study