Durante muchos años, bajo su dirección, su departamento en Oxford trabajó en lenguajes de especificación formal como CSP y Z.