Pātuhitia tēnei: A survey of verification techniques for parallel programs / Howard Barringer.