Publications by authors named "Ben Allwein"