Christian Lengauer: Monitors, Axiomatic Verification of. Encyclopedia of Parallel Computing 2011: 1173-1177