Encyclopaedia of computer science - A Ralston (Nature publication group, 2000)