<b>The interaction of the formal and the practical in parallel programming environment development: CODE</b>, J. Werth, <a href="http://www.cs.utexas.edu/users/browne">J. C. Browne</a>, S. Sobek, T. J. Lee, <a href="http://www.cs.utexas.edu/users/newton">P. Newton</a>, and R. Jain. <cite>Lecture Notes on Computer Science</cite>, vol. 589, New York: Springer Verlag, 1992.<p>
