S. Teumert, M. Krause, and B. Steffen, “SOS-Supported Graph Transformation”, eceasst, vol. 82, Oct. 2023.