A survey of verification techniques for parallel programs - Barringer, Howard (Lecture notes in computer science ;, 1985)