Shared Memory Synchronization. - Noemie Slaats; Bart Van Assche; Albert Hoogewijs (Proof in VDM, 1998)