Non−interference through determinism - Roscoe, A; Woodcock, J; Wulf, L (1996)