@inproceedings{UliPhi97,
author={I. Ulidowski and I.C.C. Phillips},
title={Formats of {O}rdered {SOS} rules with silent actions},
booktitle={Proceedings of the 7th International Conference on Theory and
	Practice of Software Development TAPSOFT'97},
editor={M. Bidoit and M. Dauchet},
year=1997,
publisher={Springer},
volume=1214,
series=LNCS}