Laurent Hascoët Jean Utke Uwe Naumann Cheaper adjoints by reversing address computations. 81-92 2008 16 Scientific Programming 1 http://dx.doi.org/10.3233/SPR-2008-0238 db/journals/sp/sp16.html#HascoetUN08