Moskowitz, I. and O. Costich, "A Classical Automata Approach to
Noninterference Type Problems", Proc. IEEE Computer Security
Foundations Workshop 5, IEEE Press, 1992.
<a href="1992moskowitz-foundations.ps">
 PostScript</a>
<P>