B. H. Mayoh, “A Computational Model for ADA and other concurrent languages”, DPB, vol. 12, no. 162, May 1983.