Reasoning about parallel architectures /
Collier, William W.
London : Prentice-Hall International,
c1992.