Furio Honsell Marina Lenisa Rekha Redamalla Coalgebraic description of generalised binary methods. 647-673 2007 17 Mathematical Structures in Computer Science 4 http://dx.doi.org/10.1017/S0960129507006214 db/journals/mscs/mscs17.html#HonsellLR07