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