Publications by authors named "Warren Robinett"