@article{Uli00,
author={I. Ulidowski},
title={Finite Axiom Systems for Testing Preorder and {D}e {S}imone Process
	Languages},
journal={Theoretical Computer Science},
volume={239(1)},
pages={97--139},
year=2000}