Critical Races in Ada Programs. - Gerald M. Karam; Christine M. Stanczyk; Gregory W. Bond (IEEE Trans. Software Eng., 1989)