Ichiro Hasuo, Bart Jacobs: Traces for coalgebraic components. Math. Struct. Comput. Sci. 21(2): 267-320 (2011)