Mayoh, Brian H. “A Computational Model for ADA and Other Concurrent Languages”. DAIMI Report Series 12, no. 162 (May 1, 1983). Accessed April 26, 2024. https://tidsskrift.dk/daimipb/article/view/7436.