M Rittri & D Synek [Jan 1994], "On generating unique names (0)

by L Augustsson
Venue:Journal of Functional Programming