Nick Benton Andrew Kennedy Martin Hofmann Lennart Beringer Reading, Writing and Relations. 114-130 2006 conf/aplas/2006 APLAS http://dx.doi.org/10.1007/11924661_7 db/conf/aplas/aplas2006.html#BentonKHB06