`Non-interference' implies equality

From MaRDI portal
Publication:733776