John Werth James C. Browne S. Sobek Taejae Lee Peter Newton Ravi Jain The Interaction of the Formal and the Practical in Parallel Programming Environment Development: CODE. 35-49 1991 conf/lcpc/1991 LCPC db/conf/lcpc/lcpc1991.html#WerthBSLNJ91