A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A. Birrell, J. Guttag, J. Horning, R. Levin. "Synchronization primitives for a multiprocessor: a formal specification." Proceedings of the eleventh ACM Symposium on Operating systems principles - SOSP '87 (1987) 94-102