Publications by authors named "George W. Booz"