Corecursion up-to via causal transformations
scientific article; zbMATH DE number 7628070
scientific article