Mayoh, B. H. A Computational Model for ADA and Other Concurrent Languages. DPB 1983, 12.