30


On non-interference see also ch 2, 3, 29, 37, 38, 47, 48, 57, 64.