Sylvan Pinsky Edward Zieglar Noninterference Equations for Nondeterministic Systems. 3-4 2001 conf/csfw/2001 CSFW http://csdl.computer.org/comp/proceedings/csfw/2001/1146/00/11460003abs.htm db/conf/csfw/csfw2001.html#PinskyZ01