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