Page no longer available. See http://www-groups.dcs.st-and.ac.uk/~history/