Foundations of parallel programming : a machine-independent approach - Lewis, T. G. 1941- (IEEE Computer Society Press, 1993)