P. S. Thiagarajan, “Regular Trace Event Structures”, BRICS, vol. 3, no. 32, Jun. 1996.