Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov: Lumpability abstractions of rule-based systems. Theor. Comput. Sci. 431: 137-164 (2012)