Gerald M. Weinberg has died