A novel representation of lists and its application to the function “reverse”. Information Processing Letters 22(3):141–144 (1986)

by R J M Hughes