Text this: Task dependence and termination in Ada.