Cooke, M.P., Dept. of Comput. Sci., Sheffield Univ., UK