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