Jerome Huet
http://jeromehuet.com/IMG/pdf/DistinctResps-RevDsCts2006.pdf