Chen, Yifeng, "Generic composition", Formal Aspects of Computing, 2002