Pierce, Ken, School of Computing Science, Newcastle University, Storbritannien