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