Prof. Randal E. Bryant, [email protected], NSH 4305, x8-8821.