On Determinacy and Nondeterminacy in Concurrent Programming (1996)

by U Nestmann