Synchronization Primitives for a Multiprocessor: A Formal Specification.

Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin

Browse the full SOSP paper archive.