ADA Concurrent Programming - Narain Gehani (Prentice-Hall, 1984)