Masako Takahashi Parallel Reductions in lambda-Calculus. 113-123 1989 7 J. Symb. Comput. 2 db/journals/jsc/jsc7.html#Takahashi89