[1]
O. Danvy and M. Goldberg, “There and Back Again”, BRICS, vol. 8, no. 39, Oct. 2001.