The Semantics of Shared Variables in Parallel Programming Languages. - Norman Victor Shulman (1986)