"Douglas R. Stinson"