-H. Barringer, A Survey of Verification Techniques for Parallel Programm. VI, 115 pages, Springer-Verlag 1985