Introduction to the graphical kernel systems - Hopgood,F.R.A (U.S Academic, 1986)