Kohei Noshita Teruo Hikita The BC-chain Method for Representing Combinators in Linear Space. 131-144 1985 3 New Generation Comput. 2 db/journals/ngc/ngc3.html#NoshitaH85