INFO:
A Proof Rule for Multi-Threaded Programs - Microsoft Research