Mayoh, B. H. “A Computational Model for ADA and Other Concurrent Languages”. DAIMI Report Series, vol. 12, no. 162, May 1983, doi:10.7146/dpb.v12i162.7436.