Concurrency in Ada - Burns, Alan; Wellings, Andy (Univ. Press, 1998)