Irek Ulidowski Iain C. C. Phillips Ordered SOS Process Languages for Branching and Eager Bisimulations. 180-213 2002 178 Inf. Comput. 1 http://dx.doi.org/10.1006/inco.2002.3161 db/journals/iandc/iandc178.html#UlidowskiP02