Gerald Lüttgen Walter Vogler Bisimulation on speed: worst-case efficiency. 105-144 2004 191 Inf. Comput. 2 http://dx.doi.org/10.1016/j.ic.2002.08.001 db/journals/iandc/iandc191.html#LuttgenV04