Edward K. Blum: The Semantics and Complexity of Parallel Programs for Vector Computations. Part I: A Case Study Using Ada. BIT 28(3): 530-551 (1988)