@inproceedings{Uli96,
author={I. Ulidowski},
title={Finite Axiom Systems for Testing Preorder and {D}e {S}imone Process
	Languages},
booktitle={Proceedings of the 5th International Conference on Algebraic
	Methodology and Software Technology AMAST'96},
editor={M. Wirsing and M. Nivat},
year=1996,
publisher={Springer},
volume=1101,
series=LNCS}