McLean, J. ``A General Theory of Composition for Trace Sets
Closed Under Selective Interleaving Functions,'' Proceedings of
1994 IEEE Symposium on Research in Security and Privacy, IEEE
Press, 1994.
<a href="1994mclean-sp.ps">
 PostScript</a>
<P>