P. S. Thiagarajan, “Regular Trace Event Structures”, BRICS, bd. 3, nr. 32, jun. 1996.