Todd Fine J. Thomas Haigh Richard C. O'Brien Dana L. Toups Noninterference and the Unwinding for LOCK. 22-28 1989 CSFW db/conf/csfw/csfw1989.html#FineHOT89