@inproceedings{Uli92,
author={I. Ulidowski},
title={Equivalences on Observable Processes},
booktitle={Proceedings of the 7th Annual IEEE Symposium on Logic in Computer
	Science},
organization={IEEE},
publisher={Computer Science Press},
pages={148--159},
year=1992}