Thiagarajan, P. S. Regular Trace Event Structures. BRICS 1996, 3.