Ada concurrent programming - Gehani, Narain (Silicon Press, 1991)