1. Department of Computer Science, Yale University, P.O. Box 2158, Yale Station, New Haven, CT
2. Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA
3. Department of Computer Science, University of Warwick, Coventry CV4 7AL, England