Estimating a linear parametric function of a doubly censored exponential distribution. Issue 1 (2nd January 2018)