Title: Detecting nondeterminism in shared memory parallel programs
First published: 1990