Mitchell, D. (David), 1936-