Reasoning About Parallel Architectures (1992)

by W W Collier