Taft, et al.. Safe Parallel Programming in Ada with Language Extensions. ACM Press, 2014, doi:10.1145/2663171.2663181.