Generic trace semantics via coinduction (2007)

by Ichiro Hasuo, Bart Jacobs, Ana Sokolova
Venue:Logical Methods in Comp. Sci