A survey of verification techniques for parallel programs by Howard Barringer | Menrva Books | MenrvaBooks