Functional pearl: On generating unique names (1994)

by L Augustsson, M Rittri, D Synek
Venue:Journal of Functional Programming