SKIM - The S, K, I Reduction Machine. - T. J. W. Clarke; P. Gladstone; C. MacLean; A. C. Norman (LISP Conference, 1980)