Sylvan Pinsky, Edward Zieglar: Noninterference Equations for Nondeterministic Systems. CSFW 2001: 3-14