A Fast Algorithm for Translating Combinator Expressions with BC-chains. - Kohei Noshita; Xiao-Xun He (New Gener. Comput., 1987)