Wolfram Kahl Jacques Carette Xiaoheng Ji Bimonadic Semantics for Basic Pattern Matching Calculi. 253-273 2006 conf/mpc/2006 MPC http://dx.doi.org/10.1007/11783596_16 db/conf/mpc/mpc2006.html#KahlCJ06