1. Computer & Information Science Department, University of Oregon, Eugene, OR 97401, USA. E-mail: ariola@cs.uoregon.edu
2. Department of Software Technology, CWI, Department of Computer Science, Free University, Amsterdam, The Netherlands. E-mail: jwk@cwi.nl