Defining Trace Semantics for CSP-Agda - Anton Setzer (Leibniz International Proceedings in Informatics, LIPIcs, 2018)