Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. Log. Methods Comput. Sci. 3(4) (2007)