article{UliPhi02,
author={I. Ulidowski and I.C.C. Phillips},
title={Ordered {SOS} rules and process languages
	for branching and eager bisimulations},
journal={Information and Computation},
volume={178},
number={1},
pages={180--213},
year=2002}