Formal Reasoning About The C11 Weak Memory Model.pdf [Free Download!]