University of Copenhagen, Department of Computer Science, Universitetsparken 1, 2100 Copenhagen, Denmark. glennie@diku.dk|University of Copenhagen, Department of Computer Science, Universitetsparken 1, 2100 Copenhagen, Denmark. glennie@diku.dk