(b.) July 23, 1930 — (d.) July 30, 2011
Citations:
Courtesy of ACM Digital Library
(b.) 1929 — (d.) February 17, 1999
(b.) September 18, 1955
(b.) June 5, 1930 — (d.) June 3, 2009
Citations:
Courtesy of Formal Methods Wiki
(b.) Unknown
(b.) November 21, 1947
(b.) November 3, 1926 — (d.) March 11, 2004
(b.) November 9, 1941 — (d.) May 26, 2006
(b.) July 13, 1943 — (d.) March 21, 2013
(b.) Unknown
Citations:
Courtesy of ACM Portal
Courtesy of University of Minnesota Digital Conservancy