Concurrency in Ada - Burns, Alan (Cambridge University Press, 1998)