Alexander Kaiser: Monotonicity in shared-memory program verification. University of Oxford, UK 2013