Reasoning about parallel architectures

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

Bibliographies