A Dynamic Programming Model of Retirement Behavior · Study