Mayoh, B. H. Parallelism in ADA: Program Design and Meaning. DPB 1980, 8.