Survey of verification techniques for parallel programs - Barringer Howard (Berlin Springer Verlag, 1985)
Keywords: Computer programming