1. Department of Computer Science (DIKU), University of Copenhagen, Denmark. bugge@diku.dk
2. Department of Computer Science (DIKU), University of Copenhagen, Denmark. henglein@diku.dk
3. Department of Computer Science, Cornell University, USA. kozen@cs.cornell.edu