Please replace the addresses "kraus@a.cs.uiuc.edu", "kamin@a.cs.uiuc.edu", and "reddy@a.cs.uiuc.edu" with the single address "theory-of-prog@a.cs.uiuc.edu". Please do not delete "gray@symcom.math.uiuc.edu", since the person at this address does not have access to our local distribution system. Thank you, Tim Kraus, kraus@a.cs.uiuc.edu