The concurrent programming language - Gehani, Narain; Roome, William D (Silicon Press, 1989)