Encyclopaedia of Computer Science Vol.3 - Krishan Gopal (APH Publishing Corporation, 2002)