*Homepage:* http://web.comlab.ox.ac.uk/oucl/research/areas/progtools/ The Programming Tools Group at Oxford University ---- CategoryGroup