Checking for Race Conditions in File Accesses. - Matt Bishop; Michael Dilger (Comput. Syst., 1996)