[Cohen88-3] F. Cohen, Designing Provably Correct Information Networks with Digital Diodes, IFIP-TC11, Computers and Security, V7#3, June, 1988.[]