Encyclopedia of computer science (London Nature publishing group, 2000)