M. Szijártó

• Trace languages and closure operations