A. Hudry Injective envelope and parallel decomposition of a transition system. 45-61 2004 289 Discrete Mathematics 1-3 http://dx.doi.org/10.1016/j.disc.2004.08.013 db/journals/dm/dm289.html#Hudry04