Lane P Hughston, Department of Computing Goldsmiths College, University of London