Experiments with a Supercompiler. - Valentin F. Turchin; Robert M. Nirenberg; Dimitri V. Turchin (Symposium on LISP and Functional Programming, 1982)