Books about Memory Consistency And Program Verification.

No results