Publications by authors named "Sean B Knuth"