Thorsten Altenkirch Conor McBride Wouter Swierstra Observational equality, now! 57-68 2007 conf/plpv/2007 PLPV http://doi.acm.org/10.1145/1292597.1292608 db/conf/plpv/plpv2007.html#AltenkirchMS07