Jacobs B, Silva A, Sokolova A.? 2012.??Trace Semantics via Determinization. Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012). 7399:109?129.