r.beale@cs.bham.ac.uk