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