Christian Lengauer: Owicki-Gries Method of Axiomatic Verification. Encyclopedia of Parallel Computing 2011: 1401-1406