@mastersthesis{T103.77,
author={Stougie, B.},
title={Optimization of a Data Race Detector},
booktitle={Afstudeerwerk TU-Delft},
year={2003},
month={10},
editor={De Bosschere, K.},
address={Gent},
}