For a spectrally positive strictly stable process with index in (1, 2), the paper obtains i) the density of the time when the process makes first exit from an interval by hitting the interval's lower end point before jumping over its upper end point, and ii) the joint distribution of the time, the undershoot, and the jump of the process when it makes first exit the other way around. For i), the density of the time of first exit is expressed as an infinite sum of functions, each the product of a polynomial and an exponential function, with all coefficients determined by the roots of a Mittag-Leffler function. For ii), conditional on the undershoot, the time and the jump of first exit are independent, and the marginal conditional densities of the time has similar features as i).the sum runs over the roots and for each root ς, p ς (t) is a polynomial in t whose coefficients are determined by ς and several Mittag-Leffler functions. For all but a finite number of ς, p ς (t) is of order 0. The result provides a connection to some known results on first exit of a standard Brownian motion. It also highlights the importance of gaining more information on the roots of Mittag-Leffler functions [13]. Section 3 considers the joint distribution of the time, the undershoot, and the jump of X when its first exit from [−b, c] occurs at c. It will be shown that conditional on the undershoot, the time and the jump are independent. This allows the joint distribution to be factorized into the marginal p.d.f. of the undershoot, and the marginal conditional p.d.f.'s of the time and the jump, respectively. The expression of the marginal conditional p.d.f. of the time has similar features as the one of first exit at the lower end. This is in contrast to the power series expression of the time of first upward passage of c [1,6,12,16], even though the first passage can be regarded as the limit of first exit from [−b, c] as b → ∞. In both sections, the asymptotics of the time of first exit as t → 0 or ∞ are also considered.The rest of the section fixes notation and collects some background information for later use.Integral transforms. For f ∈ L 1 (R), denote its Laplace transform and Fourier transform, respectively, byThe domain of f is {z ∈ C : e −tz f (t) ∈ L 1 (dt)}. Similarly, for a finite measure µ on R, denote its Laplace transform and Fourier transform, respectively, by µ(z) = e −tz µ(dt) and µ(θ) = µ(−iθ), θ ∈ R.The domain of µ is {z ∈ C : e −tz ∈ L 1 (dt)}. Let z 0 ∈ C. Denote U r (z 0 ) = {z ∈ C : |z − z 0 | < r}. If function g is analytic in U r (z 0 ) \ {z 0 } for some r > 0 and has z 0 as a pole, possibly removable, then the residual of g at z 0 is Res(g(z), z 0 ) = c 1 =