A survey of verification techniques for parallel programs - Barringer, Howard (Berlin ; New York : Springer-Verlag, 2012)