Joe E. Armstrong (1927-2010)