Thiagarajan, P. S. (1996) “Regular Trace Event Structures”, BRICS Report Series, 3(32). doi: 10.7146/brics.v3i32.20012.