, Microsoft Research, Roger Needham Building, 7 J J Thomson Avenue, Cambridge CB3 0FB