There and Back Again. - Danvy, Olivier; Goldberg, Mayer (Fundamenta Informaticae, 2005)