Life contingencies : A logical approach to actuarial mathematics - Batten, Robert W. (ACTEX Publications, 2005)