Checking for race conditions in accesses. Computing systems (1996)

by M Bishop, M Dilger