B. Koenig, “Conditions in Reactive Systems and in Graph Rewriting”, eceasst, vol. 51, Nov. 2012.