Synchronization primitives for a multiprocessor a formal specification (1987)