Concurrency in Ada

9780521629119
0-521-62911-X