@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},
}