E. Baković and L. Blumenfeld, “A formal typology of process interactions”, PDA, vol. 6, no. 3, pp. 1–43, Apr. 2024.