Ada language considerations for concurrency analysis. - Douglas L. Long; Lori A. Clarke; Joseph Fialli (WADAS, 1989)