Adam Beguelin Gary J. Nutt Visual Parallel Programming and Determinancy: A Language Specification, an Analysis Technique, and a Programming Tool. 235-250 1994 22 J. Parallel Distrib. Comput. 2 db/journals/jpdc/jpdc22.html#BeguelinN94