GLIM an introduction - Healy, M. J. (Clarendon Press, 1989)