@techreport{R093.004,
author={Audenaert, K.},
title={Partial Orderings in Parallel Debugging},
booktitle={ELIS Technical Report},
year={1992},
number={DG92-13},
}