Memory Consistency and Program Verification.

Paperback / softback