David J. Kuck Yoichi Muraoka Bounds on the Parallel Evaluation of Arithmetic Expressions Using Associativity and Commutativity Acta Inf. 3 1974 203-216 db/journals/acta/acta3.html#KuckM74