Synchronization primitives for a multiprocessor: a formal specification

A. Birrell, J. Guttag, J. Horning, R. Levin
1987 Proceedings of the eleventh ACM Symposium on Operating systems principles - SOSP '87  
doi:10.1145/41457.37509 dblp:conf/sosp/BirrellGHL87 fatcat:rgx6riotwjfq7nywdhjyeyi5nm