John Graham-Cumming Jeff W. Sanders On the Refinement of Non-Interference. 35-42 1991 CSFW db/conf/csfw/csfw1991.html#Graham-CummingS91