Parallel Reductions in lambda-Calculus Masako Takahashi 120-127 Inf. Comput. April 1995 118 1 db/journals/iandc/iandc118.html#Takahashi95