Checking for Race Conditions in File Accesses

Matt Bishop, Michael Dilger. Checking for Race Conditions in File Accesses. Computing Systems, 2(2):131-152, 1996.