Warlock: A static data race analysis tool (1993)

by N Sterling