A Short Proof of the Lexical Addressing Algorithm (1990)

by Mitchell Wand
Venue:Information Processing Letters 35