From Tiziano Vargiolu
Definition of stopping time, entrance and exit time. Properties of stopping times.