@inproceedings{Uli95,
author={I. Ulidowski},
title={Axiomatisations of Weak Equivalences for {D}e {S}imone Languages},
booktitle={Proceedings of the 6th International Conference on Concurrency Theory
	 CONCUR'95},
editor={I. Lee and S.A. Smolka},
publisher={Springer},
year=1995,
volume=962,
series=LNCS}