If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs. - Rex L. Page; M. G. Conant; Dale H. Grit (FPCA, 1981)