Non−interference through determinism (Journal of Computer Security, 1996)

(untitled) - Roscoe, A; Woodcock, J; Wulf, L