Reasoning about parallel architectures - Collier, William W. (Prentice Hall, 1992)