Data Parallel Program Visualizations from Formal Specifications. - Mark Vincent LaPolla; Joseph L. Sharnowski; Betty H. C. Cheng; Kevin Anderson 001 (J. Parallel Distributed Comput., 1993)