GLIM An introduction - Healey, MJ R (Oxford University Press, 1988)