Encyclopaedia of Computer Science Vol.4 (New Delhi APH Publishing Corporation, 2002)