David Jeffery Fergus Henderson Zoltan Somogyi Type Classes in Mercury. 128-135 2000 conf/acsc/2000 ACSC http://doi.ieeecomputersociety.org/10.1109/ACSC.2000.824391 db/conf/acsc/acsc2000.html#JefferyHS00