Laura K. Dillon Task Dependence and Termination in Ada. 80-110 1997 6 ACM Trans. Softw. Eng. Methodol. 1 db/journals/tosem/tosem6.html#Dillon97 http://doi.acm.org/10.1145/237432.237459