Stochastic life insurance benefit and annuity modeling using Kolmogorov backward equation - Zhuang, Jinsen (2006)