Michael D. Jensen

October 26, 1949  -  July 24, 2013