  Using a new approach, for spectrally negative L\'evy processes we find joint
Laplace transforms involving the last exit time (from a semi-infinite
interval), the value of the process at the last exit time and the associated
occupation time, which generalizes some previous results.
