Glim : an introduction / - Healy, M. J. R. (Clarendon Press ;, 1988)