@inbook{P098.011, author={Slaats, N. and Van Assche, B. and Hoogewijs, A.}, title={Shared Memory Synchronization}, booktitle={Proof in VDM: Case Studies}, year={1998}, month={3}, pages={123-156}, editor={Bicarregui, J.C.}, publisher={Springer Verlag}, series={Formal Approaches to Computing and Inf. Techn.}, address={Londen}, }